This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In section 3.10.14 (unrestricted double type) you note that: The unrestricted double type is a floating point numeric type that corresponds to the set of all possible double-precision **32 bit** IEEE 754 floating point numbers, finite and non-finite. [IEEE-754] I think you mean 64-bit, right? (Just like section 3.10.13?)
Isn't this a dupe of https://www.w3.org/Bugs/Public/show_bug.cgi?id=17749 which is fixed in the ED? *** This bug has been marked as a duplicate of bug 17749 ***