я есть файл XML, где число разделено запятыми

<foo>
  <bar val="1,23"/>
  <bar val="4,56"/>
  <bar val="7,89"/>
</foo>

Я хотел бы сделать сумму более/foo/bar/@val значения в XSLT, но я немного застрял в форматировании. Кто-нибудь знает, какой будет правильный синтаксис?