Re: floor() and idiv

>>>>> "David" == David Carlisle <davidc@xxxxxxxxx> writes:

    David> Is it really the case in gestalt that the two always give
    David> the same, or may thay differ eventually at the edges of
    David> some finite range of supported values?

No, they will not differ. The range of supported values is governed by
a command-line option. If you try to use a bigger number, then you
will get the appropriate error. (FOCA0001 I think).

    David> F&O spec says:

    David> For xs:decimal values the number of digits of precision
    David> returned by the numeric operators is
    David> 7implementation-defined7. If the number of digits in the
    David> result exceeds the number of digits that the implementation
    David> supports, the result is truncated or rounded in an
    David> 7implementation-defined7 manner.

Oh. Well that's a bad decision, as you no longer have the neat divide
between exact arithmetic (requested by xs:integer or xs:decimal) and
inexact arithmetic (requested by xs:double and xs:float) that you get
in XML Schema.
--
Colin Adams
Preston Lancashire