[IDL] merge float and double

It has come up a few times but never as a serious suggestion. Should
we just go ahead and have only one of float/double as that matches
JavaScript better? I think most specifications use double anyway.


-- 
http://annevankesteren.nl/

Received on Friday, 29 June 2012 08:01:32 UTC