Re: [WebIDL] double

Anne van Kesteren:
> For longitudes at least Geolocation needs high precision floating
> point values. We can either introduce the double type in Web IDL or
> just make float map always map to the 64 bit variant (as it already
> does for ECMAScript as I understand things). I don't feel strongly
> either way.

I’ve added a distinct double type, as exists in OMG IDL:

  http://dev.w3.org/2006/webapi/WebIDL/#idl-double
  http://dev.w3.org/2006/webapi/WebIDL/#es-double
  http://dev.w3.org/2006/webapi/WebIDL/#java-double

Thanks,

Cameron

-- 
Cameron McCormack ≝ http://mcc.id.au/