W3C home > Mailing lists > Public > public-script-coord@w3.org > April to June 2012

[IDL] merge float and double

From: Anne van Kesteren <annevk@annevk.nl>
Date: Fri, 29 Jun 2012 10:01:01 +0200
Message-ID: <CADnb78hDmGQdrrPv7aDjHU9_JZeDdx_15+7ewO23naSMZtwRhA@mail.gmail.com>
To: public-script-coord@w3.org
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.

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:06 UTC