The note currently says:
NOTE Some differences should be noted between the syntax of a
StringNumericLiteral and a NumericLiteral (see 7.8.3):
* A StringNumericLiteral may be preceded and/or followed by white
space and/or line terminators.
* A StringNumericLiteral that is decimal may have any number of
leading 0 digits.
* A StringNumericLiteral that is decimal may be preceded by + or -
to indicate its sign.
* A StringNumericLiteral that is empty or contains only white space is
converted to +0.
Another difference is that "Infinity" and "-Infinity" are StringNumericLiterals, but they are not NumericLiterals.
fixed in rev10