[html5] r4300 - [giow] (2) Handle the way ToString is not fully defined on Number in JS. Fixing [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2009-10-23 00:15:40 -0700 (Fri, 23 Oct 2009)
New Revision: 4300

Modified:
   complete.html
   index
   source
Log:
[giow] (2) Handle the way ToString is not fully defined on Number in JS.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=8011

Modified: complete.html
===================================================================
--- complete.html	2009-10-23 07:00:41 UTC (rev 4299)
+++ complete.html	2009-10-23 07:15:40 UTC (rev 4300)
@@ -2944,7 +2944,12 @@
 
   <p>The <dfn id=best-representation-of-the-number-as-a-floating-point-number title="best representation of the number as a floating
   point number">best representation of the number <var title="">n</var> as a floating point number</dfn> is the string
-  obtained from applying the JavaScript operator ToString to <var title="">n</var>.</p>
+  obtained from applying the JavaScript operator ToString to <var title="">n</var>. The JavaScript operator ToString is not uniquely
+  determined. When there are multiple possible strings that could be
+  obtained from the JavaScript operator ToString for a particular
+  value, the user agent must always return the same string for that
+  value (though it may differ from the value used by other user
+  agents).</p>
 
   <p>The <dfn id=rules-for-parsing-floating-point-number-values>rules for parsing floating point number values</dfn> are
   as given in the following algorithm. This algorithm must be aborted

Modified: index
===================================================================
--- index	2009-10-23 07:00:41 UTC (rev 4299)
+++ index	2009-10-23 07:15:40 UTC (rev 4300)
@@ -2754,7 +2754,12 @@
 
   <p>The <dfn id=best-representation-of-the-number-as-a-floating-point-number title="best representation of the number as a floating
   point number">best representation of the number <var title="">n</var> as a floating point number</dfn> is the string
-  obtained from applying the JavaScript operator ToString to <var title="">n</var>.</p>
+  obtained from applying the JavaScript operator ToString to <var title="">n</var>. The JavaScript operator ToString is not uniquely
+  determined. When there are multiple possible strings that could be
+  obtained from the JavaScript operator ToString for a particular
+  value, the user agent must always return the same string for that
+  value (though it may differ from the value used by other user
+  agents).</p>
 
   <p>The <dfn id=rules-for-parsing-floating-point-number-values>rules for parsing floating point number values</dfn> are
   as given in the following algorithm. This algorithm must be aborted

Modified: source
===================================================================
--- source	2009-10-23 07:00:41 UTC (rev 4299)
+++ source	2009-10-23 07:15:40 UTC (rev 4300)
@@ -1870,7 +1870,12 @@
   point number">best representation of the number <var
   title="">n</var> as a floating point number</dfn> is the string
   obtained from applying the JavaScript operator ToString to <var
-  title="">n</var>.</p>
+  title="">n</var>. The JavaScript operator ToString is not uniquely
+  determined. When there are multiple possible strings that could be
+  obtained from the JavaScript operator ToString for a particular
+  value, the user agent must always return the same string for that
+  value (though it may differ from the value used by other user
+  agents).</p>
 
   <p>The <dfn>rules for parsing floating point number values</dfn> are
   as given in the following algorithm. This algorithm must be aborted