3847 2006-10-18 16:24:24 +0000 inconsistent definition of idiv 2007-10-02 22:55:08 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation PC Linux CLOSED FIXED http://www.w3.org/TR/2006/CR-xquery-semantics-20060608/ P2 normal --- 1 anthony simeon public-qt-comments oldest_to_newest 12528 0 anthony 2006-10-18 16:24:24 +0000 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 13144 1 simeon 2006-12-12 16:11:22 +0000 I think I agree with the comment. We should probably map idiv to div. - Jerome 13983 2 simeon 2007-02-14 02:33:11 +0000 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 16999 3 jmdyck 2007-10-02 22:55:08 +0000 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.