This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
I think the following results are correct also: 1. op-numeric-dividenint2args-3 - "0.000000000000000001000000000000000001"; 2. op-numeric-dividepint2args-5 - "0.000000000000000001000000000000000001"; 3. op-numeric-dividesht2args-5 - "-1.000030518509475997192297128208258";
Should be fixed in CVS.
Thanks! I think, this bug report can be closed.