Re: [heycam/webidl] Is -0 < 0, regarding [EnforceRange]? (#306)

Digging into this a bit further, from [§ 5.2 Algorithm Conventions](https://tc39.github.io/ecma262/#sec-algorithm-conventions) in the ES spec says:

> Mathematical operations such as addition, subtraction, negation, multiplication, division, and the mathematical functions defined later in this clause should always be understood as computing exact mathematical results on mathematical real numbers, which unless otherwise noted do not include infinities and do not include a negative zero that is distinguished from positive zero. 

So I assume:

1. If _x_ < 2<sup>64</sup>, then …

really means:

1. Let _x'_ be the mathematical real number that has the same numeric value as _x_.
1. If _x'_ < 2<sup>64</sup>, then …

If this assumption holds, I could add a little bit of text at the beginning of [§ 3.2.4. Integer types](https://heycam.github.io/webidl/#es-integer-types) that paraphrases the above quote and links to its source.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/heycam/webidl/issues/306#issuecomment-281624592

Received on Wednesday, 22 February 2017 10:06:25 UTC