[WebIDL] double

Hi Cameron,

The discussion in the geolocation WG summarized here:
http://lists.w3.org/Archives/Public/public-geolocation/2009Jun/0088.html
revealed that WebIDL shall contain the specification for the type "double" and its mapping, at least to ES.

I suggest then the following:
3.7.11. double
The double type is a floating point numeric type that corresponds to the set of possible single-precision 64 bit IEEE 754 floating point numbers. [IEEE-754]
Double constant values in IDL are represented with double terminals.

Additionally the grammar and mapping sections (4.1.12) must be updated and added.

Thanks.

Kind regards,
Marcin

Marcin Hanclik
ACCESS Systems Germany GmbH
Tel: +49-208-8290-6452  |  Fax: +49-208-8290-6465
Mobile: +49-163-8290-646
E-Mail: marcin.hanclik@access-company.com

________________________________________

Access Systems Germany GmbH
Essener Strasse 5  |  D-46047 Oberhausen
HRB 13548 Amtsgericht Duisburg
Geschaeftsfuehrer: Michel Piquemal, Tomonori Watanabe, Yusuke Kanda

www.access-company.com

CONFIDENTIALITY NOTICE
This e-mail and any attachments hereto may contain information that is privileged or confidential, and is intended for use only by the
individual or entity to which it is addressed. Any disclosure, copying or distribution of the information by anyone else is strictly prohibited.
If you have received this document in error, please notify us promptly by responding to this e-mail. Thank you.

Received on Wednesday, 10 June 2009 16:11:23 UTC