This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The specification of round-half-to-even says the following [F&O 6.4.5]: For arguments of type xs:float and xs:double, if the argument is NaN, positive or negative zero, or positive or negative infinity, then the result is the same as the argument. In all other cases, the argument is cast to xs:decimal, the function is applied to this xs:decimal value, and the resulting xs:decimal is cast back to xs:float or xs:double as appropriate to form the function result. However a number of xqts tests contain large float/double values that can easily overflow the implementation-defined limit for the size of a decimal, hence FOCA0001 overflow errors are also acceptable outcomes for these test cases. We are experiencing this problem with the following test cases: fn-round-half-to-evendbl1args-1 fn-round-half-to-evendbl1args-3 fn-round-half-to-evenflt1args-1 fn-round-half-to-evenflt1args-3 K2-RoundEvenFunc-11 K2-RoundEvenFunc-12 K2-RoundEvenFunc-13 K2-RoundEvenFunc-14 K2-RoundEvenFunc-15 K2-RoundEvenFunc-16
I've added FOCA0001 to: fn-round-half-to-evendbl1args-1 fn-round-half-to-evendbl1args-3 fn-round-half-to-evenflt1args-1 fn-round-half-to-evenflt1args-3 However, K2-RoundEvenFunc-11 to 16 involves fn:rount-half-to-even invoked with INF, -INF or NaN, on the type xs:double or xs:float. For these values I believe no casting is being performed, "the result is the same as the argument." Or in what way shall one view them?
I agree with you with regards to K2-RoundEvenFunc-11 to 16, and so have marked it FIXED.