[Bug 29240] New: Clarify whether NaN is allowed in float/double types

https://www.w3.org/Bugs/Public/show_bug.cgi?id=29240

            Bug ID: 29240
           Summary: Clarify whether NaN is allowed in float/double types
           Product: WebAppsWG
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: WebIDL
          Assignee: cam@mcc.id.au
          Reporter: geoffers+w3cbugs@gmail.com
        QA Contact: public-webapps-bugzilla@w3.org
                CC: mike@w3.org, public-script-coord@w3.org
  Target Milestone: ---

Float is "set of finite single-precision 32 bit IEEE 754 floating point
numbers", unrestricted float is "set of all possible single-precision 32 bit
IEEE 754 floating point numbers, finite and non-finite".

It seems obvious that NaN is not a float: it's not in the set of finite
numbers. It also would appear that NaN is not a unrestricted float as it isn't
a number. However, elsewhere in the spec we see the constant NaN exists as a
unrestricted float.

We should clarify this (and also for the similar double case). There's also the
question of whether the set contains 2^24-2 representations of NaN or a single
representation of NaN (like the Number type in ES).

-- 
You are receiving this mail because:
You are on the CC list for the bug.

Received on Monday, 26 October 2015 07:15:27 UTC