[WebIDL] editorial: unrestricted double and precision

Hi,

The definition of "unrestricted double" says[1]:

""
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]
""

while "double" says[2]:

""
The double type is a floating point numeric type that corresponds to the set of finite double-precision 64 bit IEEE 754 floating point numbers. [IEEE-754]
""

s/32/64/

Greetings,
Dirk


[1] http://www.w3.org/TR/WebIDL/#idl-unrestricted-double
[2] http://www.w3.org/TR/WebIDL/#idl-double

Received on Friday, 22 March 2013 00:19:36 UTC