[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

git-svn-id: http://svn.whatwg.org/webapps@4300 340c8d12-0b0e-0410-8428-c7bf67bfef74

complete.html

@@ -2944,7 +2944,12 @@ <h5 id=real-numbers><span class=secno>2.4.4.3 </span>Real numbers</h5>
 
   <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

index

@@ -2754,7 +2754,12 @@ a.setAttribute('href', 'http://example.com/'); // change the content attribute d
 
   <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

source

@@ -1870,7 +1870,12 @@ a.setAttribute('href', 'http://example.com/'); // change the content attribute d
   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