This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Sections C.2 of Formal Semantics defines the argument types of idiv to be xs:integer. XPath CR and Functions and Operators CR both suggest that it should accept xs:numeric. http://www.w3.org/TR/2006/CR-xpath-functions-20060608/#func-numeric-integer-divide http://www.w3.org/TR/2006/CR-xpath20-20060608/#id-arithmetic
I think I agree with the comment. We should probably map idiv to div. - Jerome
Anthony, The working groups reviewed your comment, and agreed with you. The corresponding issue will be fixed in a future errata, by adding support for the other numeric type, consistently with the F&O document. Best, - Jerome Simeon On Behalf of the XML Query and XSLT Working Groups
This issue has been entered as FS erratum E016. I have committed the following fix to the source files for the next edition of the FS document: In C.2 Mapping of Overloaded Internal Functions / Binary Operators table, for fs:idiv(A,B), replace: xs:integer xs:integer op:integer-div(A, B) xs:integer with: xs:integer xs:integer op:numeric-integer-divide(A, B) xs:integer xs:decimal xs:decimal op:numeric-integer-divide(A, B) xs:integer xs:float xs:float op:numeric-integer-divide(A, B) xs:integer xs:double xs:double op:numeric-integer-divide(A, B) xs:integer This issue has already been marked resolved-FIXED and CLOSED; please REOPEN it if you disagree with this resolution.