This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
3.5 Arithmetic Expressions "XPath 3.1 supports two division operators named div and idiv. Each of these operators accepts two operands of any numeric type. As described in [XQuery and XPath Functions and Operators 3.1], $arg1 idiv $arg2 is equivalent to ($arg1 div $arg2) cast as xs:integer? except for error cases." Correct URL: http://www.w3.org/TR/xpath-functions-31/#func-numeric-integer-divide 4.2.5 op:numeric-integer-divide BTW, [XQuery and XPath Functions and Operators 3.1] says: 4.2.4 op:numeric-divide, 4.2.5 op:numeric-integer-divide Probably best not to use slang, "div," "idiv" when making references.
Done.