>>>>> "Xmlizer" == mozer  <xmlizer@xxxxxxxxx> writes:

    Xmlizer> Well this one is interesting since in XPath 2 F&O spec it
    Xmlizer> is said that

    Xmlizer> [[ Thus, the semantics " $a idiv $b " are equivalent to "
    Xmlizer> ($a div $b) cast as xs:integer " except for error
    Xmlizer> situations.
    Xmlizer> ]]

A bug in the spec or in Saxon ?

    Xmlizer>   floor(1000000000000000000000000000000001 div
    Xmlizer> 100000000000000000000000000000001),
    Xmlizer> 1000000000000000000000000000000001 idiv
    Xmlizer> 100000000000000000000000000000001,
    Xmlizer> (1000000000000000000000000000000001 div
    Xmlizer> 100000000000000000000000000000001) cast as xs:integer

    Xmlizer> gives

    Xmlizer> 10, 9, 10

Saxon, I think.

Gestalt gives 10, 10, 10.
-- 
Colin Adams
Preston Lancashire