<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">The rev17 spec. draft includes th specification of these function based uopn my understanding of the agreement at the meeting.<div><a href="http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.8">http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.8</a> </div><div><a href="http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.13">http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.13</a> </div><div><a href="http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.14">http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.14</a> </div><div><br></div><div>If anyone see any issues with these definitions then they should file some bugs.</div><div><br></div><div>Allen</div><div><br><div><br></div><div> <br><div><div>On Aug 29, 2013, at 11:00 AM, Rick Waldron wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr">At the last TC39 meeting we discussed the addition of the following items[0]: <div><br></div><div><div>Number.MAX_SAFE_INTEGER = (2^53)-1</div><div><br></div><div>Number.isInteger</div><div>  - Infinity => false</div>

<div>  - NaN => false</div><div>  - value !== truncated value => false</div><div>  - -0 => true</div><div><br></div><div>Number.isSafeInteger</div><div>  - -0 => true</div></div><div><br></div><div><br></div>
<div>
This resolution of record doesn't include a consensus on these extensions as defined, but IIRC there was consensus on Mark's proposal. Jeff Walden noted[1] that there was no clear resolution and I apologize for this oversight.</div>

<div><br></div><div>Rick</div><div><br></div><div>[0] <a href="https://github.com/rwaldron/tc39-notes/blob/master/es6/2013-07/july-25.md#59-semantics-and-bounds-of-numberisinteger-and-numbermax_integer">https://github.com/rwaldron/tc39-notes/blob/master/es6/2013-07/july-25.md#59-semantics-and-bounds-of-numberisinteger-and-numbermax_integer</a></div>

<div><br></div><div>[1] <a href="https://bugzilla.mozilla.org/show_bug.cgi?id=885798#c12">https://bugzilla.mozilla.org/show_bug.cgi?id=885798#c12</a></div></div>
_______________________________________________<br>es-discuss mailing list<br><a href="mailto:es-discuss@mozilla.org">es-discuss@mozilla.org</a><br>https://mail.mozilla.org/listinfo/es-discuss<br></blockquote></div><br></div></div></body></html>