>>>>> "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