Re: typing of integer operations in Xpath2

> > > > > "Michael" == Michael Kay <mhk(_at_)mhk(_dot_)me(_dot_)uk> writes:
    >> 6) The rules could be changed to avoid promoting integers to
    >> doubles, when all operands are integer, and an integer result
    >> is sensible (e.g. plus, minus, idiv, multiply)

    Michael> It is already the case that if all the operands are
    Michael> integers then the result is an integer.

OK.
What if one is a decimal, and the other a double?

-- 
Colin Paul Adams
Preston Lancashire