文字列に適用される ToNumber は、入力文字列に 次の文法を適用する。文法が文字列を StringNumericLiteral として解釈不能ならば、 ToNumber の結果は NaN である。

StringNumericLiteral :::

StrWhiteSpace_opt

StrWhiteSpace_opt StrNumericLiteral StrWhiteSpace_opt

StrWhiteSpace :::

StrWhiteSpaceChar StrWhiteSpace_opt

StrWhiteSpaceChar :::

<TAB>

<SP>

<NBSP>

<FF>

<VT>

<CR>

<LF>

<LS>

<PS>

<USP>

StrNumericLiteral :::

StrDecimalLiteral

HexIntegerLiteral

StrDecimalLiteral :::

StrUnsignedDecimalLiteral

+ StrUnsignedDecimalLiteral

- StrUnsignedDecimalLiteral

StrUnsignedDecimalLiteral :::

Infinity

DecimalDigits . DecimalDigits_opt ExponentPart_opt

. DecimalDigits ExponentPart_opt

DecimalDigits ExponentPart_opt

DecimalDigits :::

DecimalDigit

DecimalDigits DecimalDigit

DecimalDigit ::: one of

0 1 2 3 4 5 6 7 8 9

ExponentPart :::

ExponentIndicator SignedInteger

ExponentIndicator ::: one of

e E

SignedInteger :::

DecimalDigits

+ DecimalDigits

- DecimalDigits

HexIntegerLiteral :::

0x HexDigit

0X HexDigit

HexIntegerLiteral HexDigit

HexDigit ::: one of

0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F

StringNumericLiteral と NumericLiteral の構文間にいくつか注目すべき相違点がある (セクション 7.8.3):

• StringNumericLiteral には、空白または行終端子が、先行また後続してよい。
• 10 進数である StringNumericLiteral は may have any number of leading 0 digits.
• 10 進数である StringNumericLiteral は、符号を示す + または - が先行してよい。
• 空や空白である StringNumericLiteral は +0 に変換される。

文字列の数値への変換は、全体に数値リテラルの数値の決定と似ている (セクション 7.8.3) が、いくつかの点で異なり、従って string numeric literal の Number 型の値への変換処理はここに全て与えられる。この値は 2 ステップで決定される: まず、数学値 (MV) が string numeric literal から派生する; 次に、この数学値が次のように丸められる。

• StringNumericLiteral ::: [empty] の数学値は、 0 である。
• StringNumericLiteral ::: StrWhiteSpace の数学値は、 0 である。
• StringNumericLiteral ::: StrWhiteSpace_opt StrNumericLiteral StrWhiteSpace_opt の数学値は、空白が存在するかどうかにかかわらず、 StrNumericLiteral の数学値である。
• StrNumericLiteral ::: StrDecimalLiteral の数学値は、 StrDecimalLiteral の数学値である。
• StrNumericLiteral ::: HexIntegerLiteral の数学値は、 HexIntegerLiteral の数学値である。
• StrDecimalLiteral ::: StrUnsignedDecimalLiteral の数学値は、 StrUnsignedDecimalLiteral の数学値である。
• StrDecimalLiteral ::: + StrUnsignedDecimalLiteral の数学値は、 StrUnsignedDecimalLiteral の数学値である。
• StrDecimalLiteral ::: - StrUnsignedDecimalLiteral の数学値は、 負の StrUnsignedDecimalLiteral の数学値である。 (StrUnsignedDecimalLiteral の数学値が 0 ならば、負の数学値も 0 であることに注意。下に述べる丸め規則は handles the conversion of this sign less mathematical zero to a floating-point +0 or -0 as appropriate )
• StrUnsignedDecimalLiteral ::: Infinity の数学値は、 1010000 (a value so large that it will round to +∞) である。
• StrUnsignedDecimalLiteral ::: DecimalDigits. の数学値は、 DecimalDigits の数学値である。
• StrUnsignedDecimalLiteral ::: DecimalDigits. DecimalDigits の数学値は、 n を 2 つ目の DecimalDigits の文字数として、 1 つ目の DecimalDigits の数学値に (2 つ目の DecimalDigits の数学値 × 10^-n) を足す。
• StrUnsignedDecimalLiteral ::: DecimalDigits. ExponentPart の数学値は、 e を ExponentPart の数学値として、 DecimalDigits の数学値 × 10^e である。
• StrUnsignedDecimalLiteral::: DecimalDigits. DecimalDigits ExponentPart の数学値は、 n を 2 つ目の DecimalDigits の文字数、 e を ExponentPart の数学値として、 (1 つ目の DecimalDigits の数学値 ＋ (2 つ目の DecimalDigits の数学値 × 10ⁿ) ) × 10^e である。
• StrUnsignedDecimalLiteral:::. DecimalDigits の数学値は、 n を DecimalDigits の文字数として、 DecimalDigits の数学値 × 10ⁿ である。
• StrUnsignedDecimalLiteral:::. DecimalDigits ExponentPart の数学値は、n を DecimalDigits の文字数、 e を ExponentPart の数学値として、 DecimalDigits の数学値 × 10^e-n である。
• StrUnsignedDecimalLiteral::: DecimalDigits の数学値は、 DecimalDigits の数学値である。
• StrUnsignedDecimalLiteral::: DecimalDigits ExponentPart の数学値は、e を ExponentPart の数学値として、 DecimalDigits の数学値 × 10^e である。
• DecimalDigits ::: DecimalDigit の数学値は、 DecimalDigit の数学値である。
• DecimalDigits ::: DecimalDigits DecimalDigit の数学値は、 (DecimalDigits の数学値 × 10) ＋ DecimalDigit の数学値 である。
• ExponentPart ::: ExponentIndicator SignedInteger の数学値は、 SignedInteger の数学値である。
• SignedInteger ::: DecimalDigits の数学値は、 DecimalDigits の数学値である。
• SignedInteger ::: + DecimalDigits の数学値は、 DecimalDigits の数学値である。
• SignedInteger ::: - DecimalDigits の数学値は、負の DecimalDigits の数学値である。
• DecimalDigit ::: 0 または HexDigit ::: 0 の数学値は、 0 である。
• DecimalDigit ::: 1 または HexDigit ::: 1 の数学値は、 1 である。
• DecimalDigit ::: 2 または HexDigit ::: 2 の数学値は、 2 である。
• DecimalDigit ::: 3 または HexDigit ::: 3 の数学値は、 3 である。
• DecimalDigit ::: 4 または HexDigit ::: 4 の数学値は、 4 である。
• DecimalDigit ::: 5 または HexDigit ::: 5 の数学値は、 5 である。
• DecimalDigit ::: 6 または HexDigit ::: 6 の数学値は、 6 である。
• DecimalDigit ::: 7 または HexDigit ::: 7 の数学値は、 7 である。
• DecimalDigit ::: 8 または HexDigit ::: 8 の数学値は、 8 である。
• DecimalDigit ::: 9 または HexDigit ::: 9 の数学値は、 9 である。
• HexDigit ::: a または HexDigit ::: A の数学値は、 10 である。
• HexDigit ::: b または HexDigit ::: B の数学値は、 11 である。
• HexDigit ::: c または HexDigit ::: C の数学値は、 12 である。
• HexDigit ::: d または HexDigit ::: D の数学値は、 13 である。
• HexDigit ::: e または HexDigit ::: E の数学値は、 14 である。
• HexDigit ::: f または HexDigit ::: F の数学値は、 15 である。
• HexIntegerLiteral ::: 0x HexDigit の数学値は、 HexDigit の数学値である。
• HexIntegerLiteral ::: 0X HexDigit の数学値は、 HexDigit の数学値である。
• HexIntegerLiteral ::: HexIntegerLiteral HexDigit の数学値は、 (HexIntegerLiteral の数学値 × 16) ＋ HexDigit の数学値 である。

一旦数値文字列リテラルの厳密な数学値が決定されたら、 Number 型の値に丸められる。数学値が 0 ならば、丸められる値は、数値文字列リテラル内の最初の非空白文字が '-' でなければ +0 であり、 '-' ならば -0 である。 そうではなく、リテラルが StrUnsignedDecimalLiteral を含まず、そのリテラルが 20 を超える有効数字数\でなければ、数値が 20 番目以降の各有効数字を数字 0 で置換して生成されるリテラルの数学値の数値、または 20 番目以降の各有効数字を数字 0 で置換して生成されるリテラルの数学値の数値、そして 20 番目の数字の位置でリテラルを増加のどちらかでありえる場合、丸められる値は (セクション 8.5 で定義される意味の) 数学値の数値でなければならない。数字はそれが ExponentPart の一部\でなく次の二点のどちらかあれば有効数字 (significant) である。

• 0 でない。
• その左側が 0 以外の数字でその右側が 0 以外の数字で ExponentPart 内でない。

ToString 演算子は、次のように数 m を文字列形式に変換する:

1. m が NaN ならば、文字列 "NaN" を返す。
2. m が +0 または -0 ならば、文字列 "0" を返す。
3. m が 0 未満ならば、文字 "-" と ToString(-m) を連結した文字列を返す。
4. m が無限数ならば文字列 "Infinity" を返す。
5. そうでないならば、 n, k, s を、 k ≥ 1, 10^k-1 ≤ s < 10^k, s × 10^n-k の数値が m, 可能な限り小さい k であるような整数とする。 k は s の 10 進表記の字数であること、 s は 10 で割りきれないこと、 s の最小桁数字はこれらの基準によって必ずしも一意に決定されないことに注意。
6. k ≤ n ≤ 21 ならば、 n-k 個の文字 '0' の出現の続く、 s の 10 進表記である k 個の数字 (0 は先行しない) で構成する文字列を返す。
7. 0 < n ≤ 21 ならば、最大桁 s の 10 進表記の n 個の数字, 小数点 '.', s の 10 進表記の残りの k-n 個の数字の続く文字列を返す。
8. -6 < n ≤ 0 ならば、文字 '0', 小数点 '.', -n 個の文字 '0', s の 10 進表記である k の続く文字列を返す。
9. そうでなければ、 k = 1 ならば、 s の単一の数字, 小文字 'e', n-1 の正負に従う正符号 '+' または負符号 '-', 整数 abs(n-1) の 10 進表記 (0 は先行しない) の続く文字列を返す。
10. s の 10 進表記の最大桁の数字, 小数点 '.', s の 10 進表記の残り k-1 個の数字, 小文字 'e', n-1 の正負に従う正符号 '+' または負符号 '-', 整数 abs(n-1) の 10 進表記 (0 は先行しない) の続く文字列を返す。