RE: [F&O] 6.2.6 op:numeric-mod

> I have made the suggestion that idiv should be defined on all numeric types.
> This would mean that [10 idiv xdt:untypedAtomic("2.5")] returns 4, not 5 as
> it does currently. It would also mean (I think) that the expression [(a idiv
> b)*b+(a mod b) = a] becomes true for all numeric values a and b.


this would probably good, in which case mod should probably be _defined_
by that equality, otherwise floating point arithmetic being what it is
chances are that the two mathematically equivalent expressions either
side of the = will give different results for some value or other.

David