[XQuery] NaN in numeric comparison (B.2 vs F&O 6.3.1-6.3.3)

In appendix B.2 ge and le for numerics are defined as fn:not 
(op:numeric-less-than(A,B)) and 
fn:not(op:numeric-greater-than(A,B)). However, the F&O states in 
sections 6.3.1-6.3.3 that if 
NaN is A or B then the result is always false.

This leads to the falsity that NaN lt/gt anyNumeric = false, but NaN 
le/ge anyNumeric = true. 
The paragraph starting B.2 does mention to "see the description material 
in the main part of 
this document," but the NaN case is only mentioned in F&O.

Either a note could be added or A ge B (similarly for A le B) could be 
changed from 
fn:not(op:numeric-less-than(A,B) to
op:greater-than(A,B) or op:equal(A,B)

Thanks
--Sarah

Received on Sunday, 5 September 2004 22:57:03 UTC