En additionnant les nombres avec une virgule comme séparateur décimal dans XSLT?

J'ai un fichier XML où le nombre sont séparées par des virgules

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

Je voudrais faire une somme sur les /foo/bar/@val valeurs dans XSLT, mais je suis un peu bloqué la mise en forme. Personne ne sait ce qui serait la bonne syntaxe?