Comment 8 for bug 1123164

Paul I am not saying that the tests are correct, as already stated into one of the wiki's I created:
http://my.zorba-xquery.com/dokuwiki/doku.php?id=zorba_fots_driver#reporting_bugs

The test cases fail because one of the following 3 situations (or a combination of them):
- FOTS driver is wrong
- Zorba returns incorrect result
- test case in FOTS is wrong

I only triaged around 700 out of the 1011 failing FOTS tests and created some bugs assigned to the persons I thought know more about the code in question.

The bug was assigned to you because, IMHO, you know that code better than the rest, so you can make the decision.

In this particular case, if I am not missing something, Zorba returns incorrect result because:

According to:
http://www.w3.org/TR/xquery-30/#id-decimal-format-decl
"A decimal format declaration adds a decimal format to the statically known decimal formats, which define the properties used to format numbers using the fn:format-number() function"

and in
http://www.w3.org/TR/xquery-30/#dt-static-decimal-formats :
"[Definition: infinity specifies the string used for the infinity-symbol; the default value is the string "Infinity"]"

HTH