[Bug 29171] [QT3TS] cbcl-numeric-idivide-008

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29171

Michael Kay <mike@saxonica.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |CLOSED

--- Comment #3 from Michael Kay <mike@saxonica.com> ---
I have further modified the "success" result to

         <any-of>
            <error code="FOAR0002"/>
            <error code="FOCA0002"/>
            <all-of>
               <assert-type>xs:integer</assert-type>
               <assert>matches(string($result), '^[0-9]{75,76}$')</assert>
            </all-of>
         </any-of>

since I think rounding errors are acceptable (given that we allow the
implementation a wide choice of algorithms). For example if you promote both
floats to doubles, do the division, and then round to an integer, you won't get
exactly 10^75.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 13 October 2015 13:58:01 UTC