├── .gitignore
├── README.md
├── docs
    ├── ecmarkup.css
    ├── ecmarkup.js
    └── index.html
├── package.json
├── spec.html
└── spec.md


/.gitignore:
--------------------------------------------------------------------------------
1 | node_modules/
2 | package-lock.json
3 | 


--------------------------------------------------------------------------------
/README.md:
--------------------------------------------------------------------------------
  1 | # Numeric Separators
  2 | 
  3 | ## Stage 4
  4 | 
  5 | This is a [proposal](https://tc39.github.io/process-document/), the result of a merge between an earlier draft of itself and Christophe Porteneuve's [proposal-numeric-underscores](https://github.com/tdd/proposal-numeric-underscores), to extend the existing [_NumericLiteral_](https://tc39.github.io/ecma262/#prod-NumericLiteral) to allow a separator character between digits.
  6 | 
  7 | ## Acknowledgements
  8 | 
  9 | This proposal is currently championed by @samuelgoto, @rwaldron, and @leobalter.
 10 | 
 11 | This proposal was originally developed by @samuelgoto, @ajklein, @domenic, @rwaldron and @tdd.
 12 | 
 13 | ## Motivation
 14 | 
 15 | This feature enables developers to make their numeric literals more readable by creating a visual separation between groups of digits. Large numeric literals are difficult for the human eye to parse quickly, especially when there are long digit repetitions. This impairs both the ability to get the correct value / order of magnitude...
 16 | 
 17 | ```js
 18 | 1000000000   // Is this a billion? a hundred millions? Ten millions?
 19 | 101475938.38 // what scale is this? what power of 10?
 20 | ```
 21 | 
 22 | ...but also fails to convey some use-case information, such as fixed-point arithmetic using integers.  For instance, financial computations often work in 4- to 6-digit fixed-point arithmetics, but even storing amounts as cents is not immediately obvious without separators in literals:
 23 | 
 24 | ```js
 25 | const FEE = 12300;
 26 | // is this 12,300? Or 123, because it's in cents?
 27 | 
 28 | const AMOUNT = 1234500;
 29 | // is this 1,234,500? Or cents, hence 12,345? Or financial, 4-fixed 123.45?
 30 | ```
 31 | Using underscores (`_`, U+005F) as separators helps improve readability for numeric literals, both integers and floating-point (and in JS, it's all floating-point anyway):
 32 | ```js
 33 | 1_000_000_000           // Ah, so a billion
 34 | 101_475_938.38          // And this is hundreds of millions
 35 | 
 36 | let fee = 123_00;       // $123 (12300 cents, apparently)
 37 | let fee = 12_300;       // $12,300 (woah, that fee!)
 38 | let amount = 12345_00;  // 12,345 (1234500 cents, apparently)
 39 | let amount = 123_4500;  // 123.45 (4-fixed financial)
 40 | let amount = 1_234_500; // 1,234,500
 41 | ```
 42 | 
 43 | Also, this works on the fractional and exponent parts, too:
 44 | 
 45 | ```js
 46 | 0.000_001 // 1 millionth
 47 | 1e10_000  // 10^10000 -- granted, far less useful / in-range...
 48 | ```
 49 | 
 50 | ## Examples
 51 | 
 52 | (The following examples also appear in the README.md of Babel transform plugin for this proposal.)
 53 | 
 54 | ### Regular Number Literals
 55 | 
 56 | ```js
 57 | let budget = 1_000_000_000_000;
 58 | 
 59 | // What is the value of `budget`? It's 1 trillion!
 60 | // 
 61 | // Let's confirm:
 62 | console.log(budget === 10 ** 12); // true
 63 | ```
 64 | 
 65 | ### Binary Literals
 66 | 
 67 | ```js
 68 | let nibbles = 0b1010_0001_1000_0101;
 69 | 
 70 | // Is bit 7 on? It sure is!
 71 | // 0b1010_0001_1000_0101
 72 | //             ^
 73 | //
 74 | // We can double check: 
 75 | console.log(!!(nibbles & (1 << 7))); // true
 76 | ```
 77 | 
 78 | ### Hex Literal
 79 | 
 80 | ```js
 81 | // Messages are sent as 24 bit values, but should be 
 82 | // treated as 3 distinct bytes:
 83 | let message = 0xA0_B0_C0;
 84 | 
 85 | // What's the value of the upper most byte? It's A0, or 160.
 86 | // We can confirm that:
 87 | let a = (message >> 16) & 0xFF; 
 88 | console.log(a.toString(16), a); // a0, 160
 89 | 
 90 | // What's the value of the middle byte? It's B0, or 176.
 91 | // Let's just make sure...
 92 | let b = (message >> 8) & 0xFF;
 93 | console.log(b.toString(16), b); // b0, 176
 94 | 
 95 | // What's the value of the lower most byte? It's C0, or 192.
 96 | // Again, let's prove that:
 97 | let c = message & 0xFF;
 98 | console.log(c.toString(16), b); // c0, 192
 99 | ```
100 | 
101 | ### BigInt Literal
102 | 
103 | Numeric Separators are also available within BigInt literals.
104 | 
105 | ```js
106 | // Verifying max signed 64 bit numbers:
107 | const max = 2n ** (64n - 1n) - 1n;
108 | console.log(max === 9_223_372_036_854_775_807n);
109 | ```
110 | 
111 | It can also be used similarly to Number literals
112 | 
113 | ```js
114 | let budget = 1_000_000_000_000n;
115 | 
116 | // What is the value of `budget`? It's 1 trillion!
117 | // 
118 | // Let's confirm:
119 | console.log(budget === BigInt(10 ** 12)); // true
120 | ```
121 | 
122 | Numeric Separators are only allowed between digits of BigInt literals, and not immediately before the BigInt `n` suffix.
123 | 
124 | ```js
125 | // Valid
126 | 1_1n;
127 | 1_000n;
128 | 99999999_111111111_00000000n;
129 | 
130 | // Invalid: SyntaxError!
131 | 1_n;
132 | 0_n;
133 | 1000000_n;
134 | 1_000_000_n;
135 | ```
136 | 
137 | 
138 | 
139 | ### Octal Literal
140 | 
141 | While there isn't much of a benefit, numeric separators are available in the Octal Literal productions out of conventially being generally available in non-legacy productions. In other words, the intent for feature is to be broad available in non-legacy numeric literal types.
142 | 
143 | ```js
144 | let x = 0o1234_5670;
145 | let partA = (x & 0o7777_0000) >> 12; // 3 bits per digit
146 | let partB = x & 0o0000_7777;
147 | console.log(partA.toString(8)); // 1234
148 | console.log(partB.toString(8)); // 5670
149 | ```
150 | 
151 | ## Specification
152 | 
153 | You can see what the specification design looks like [here](spec.md) and a more detailed version [here](https://tc39.github.io/proposal-numeric-separator).
154 | 
155 | ## Background
156 | 
157 | ### Alternative Syntax
158 | 
159 | Our strawnman strategy is to **start with** a more restrictive rule (i.e. disallow both idioms) and losen it upon later if needed (as opposed to starting more broadly and worrying about backwards compatibility trying to tighten it up later).
160 | 
161 | In addition to that, we couldn't find good/practical evicence where (a) multiple consecutive underscores or (b) underscores before/after numbers are used effectively, so we chose to leave that addition to a later stage if needed/desired.
162 | 
163 | ### Character
164 | 
165 | The `_` was agreed to as part of Stage 1 acceptance.
166 | The following examples show numeric separators as they appear in other programming languages:
167 | 
168 | - **`_` (Java, Python, Perl, Ruby, Rust, Julia, Ada, C#)**
169 | - `'` (C++)
170 | 
171 | ## Building the spec
172 | 
173 | ```sh
174 | npm i
175 | npm run build
176 | ```
177 | 
178 | ## References
179 | 
180 | ### Prior art
181 | 
182 | * [Java7](https://docs.oracle.com/javase/7/docs/technotes/guides/language/underscores-literals.html): multiple, only between digits.
183 | 
184 | ```java
185 | float pi = 	3.14_15F;
186 | long hexBytes = 0xFF_EC_DE_5E;
187 | long hexWords = 0xCAFE_F00D;
188 | long maxLong = 0x7fff_ffff_ffff_ffffL;
189 | byte nybbles = 0b0010_0101;
190 | long bytes = 0b11010010_01101001_10010100_10010010;
191 | ```
192 | 
193 | > Note that the first two examples are actually unlikely to be correct in any circumstance.
194 | Trade-offs:
195 | 
196 | ```java
197 | float pi1 = 3_.1415F;      // Invalid; cannot put underscores adjacent to a decimal point
198 | float pi2 = 3._1415F;      // Invalid; cannot put underscores adjacent to a decimal point
199 | 
200 | int x1 = _52;              // This is an identifier, not a numeric literal
201 | int x2 = 5_2;              // OK (decimal literal)
202 | int x3 = 52_;              // Invalid; cannot put underscores at the end of a literal
203 | int x4 = 5_______2;        // OK (decimal literal)
204 | 
205 | int x5 = 0_x52;            // Invalid; cannot put underscores in the 0x radix prefix
206 | int x6 = 0x_52;            // Invalid; cannot put underscores at the beginning of a number
207 | int x7 = 0x5_2;            // OK (hexadecimal literal)
208 | int x8 = 0x52_;            // Invalid; cannot put underscores at the end of a number
209 | 
210 | int x9 = 0_52;             // OK (octal literal)
211 | int x10 = 05_2;            // OK (octal literal)
212 | int x11 = 052_;            // Invalid; cannot put underscores at the end of a number
213 | ```
214 | 
215 | * [C++](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3499.html): single, between digits (different separator chosen `'`).
216 | 
217 | ```c++
218 | int m = 36'000'000  // digit separators make large values more readable
219 | ```
220 | 
221 | * [Swift](https://developer.apple.com/library/content/documentation/Swift/Conceptual/Swift_Programming_Language/LexicalStructure.html)
222 | 
223 | ```swift
224 | let m = 36_000_000 // Underscores (_) are allowed between digits for readability
225 | ```
226 | 
227 | * [Perl](http://perldoc.perl.org/perldata.html#Scalar-value-constructors): multiple, anywhere
228 | 
229 | ```perl
230 |  3.14_15_92          # a very important number
231 |  4_294_967_296       # underscore for legibility
232 |  0xff                # hex
233 |  0xdead_beef         # more hex
234 | ```
235 | 
236 | * [Ruby](http://ruby-doc.org/core-2.3.0/doc/syntax/literals_rdoc.html#label-Numbers): single, only between digits.
237 | 
238 | ```ruby
239 | 1_234
240 | ```
241 | 
242 | * [Rust](https://doc.rust-lang.org/reference.html#number-literals): multiple, anywhere.
243 | 
244 | ```rust
245 | 0b1111_1111_1001_0000_i32;         // type i32
246 | 1_234.0E+18f64
247 | ```
248 | 
249 | * [Julia](https://docs.julialang.org/en/release-0.4/manual/integers-and-floating-point-numbers/): single, only between digits.
250 | 
251 | ```julia
252 | julia> 10_000, 0.000_000_005, 0xdead_beef, 0b1011_0010
253 | (10000,5.0e-9,0xdeadbeef,0xb2)
254 | ```
255 | 
256 | * [Ada](http://archive.adaic.com/standards/83lrm/html/lrm-02-04.html#2.4): single, only between digits.
257 | 
258 | ```ada
259 | 123_456
260 | 3.14159_26
261 | 
262 | ```
263 | 
264 | * [Kotlin](https://kotlinlang.org/docs/reference/basic-types.html#underscores-in-numeric-literals-since-11)
265 | 
266 | ```kotlin
267 | val oneMillion = 1_000_000
268 | val creditCardNumber = 1234_5678_9012_3456L
269 | val socialSecurityNumber = 999_99_9999L
270 | val hexBytes = 0xFF_EC_DE_5E
271 | val bytes = 0b11010010_01101001_10010100_10010010
272 | ```
273 | 
274 | ### Ongoing Proposals
275 | 
276 | * [Python Proposal: Underscore in Numeric Literals](https://www.python.org/dev/peps/pep-0515/#id19): single, only between digits.
277 | 
278 | ```python
279 | # grouping decimal numbers by thousands
280 | amount = 10_000_000.0
281 | 
282 | # grouping hexadecimal addresses by words
283 | addr = 0xCAFE_F00D
284 | 
285 | # grouping bits into nibbles in a binary literal
286 | flags = 0b_0011_1111_0100_1110
287 | 
288 | # same, for string conversions
289 | flags = int('0b_1111_0000', 2)
290 | ```
291 | 
292 | * [C# Proposal: Digit Separators](https://github.com/dotnet/roslyn/issues/216): multiple, only between digits.
293 | 
294 | ```
295 | int bin = 0b1001_1010_0001_0100;
296 | int hex = 0x1b_a0_44_fe;
297 | int dec = 33_554_432;
298 | int weird = 1_2__3___4____5_____6______7_______8________9;
299 | double real = 1_000.111_1e-1_000;
300 | ```
301 | 
302 | ### Related Work
303 | 
304 | * [Format Specifier For Thousands Separator](https://www.python.org/dev/peps/pep-0378/)
305 | 
306 | ### Implementations
307 | 
308 | * [Shipping in V8 v7.5 / Chrome 75](https://v8.dev/blog/v8-release-75#numeric-separators)
309 | * [Shipping in SpiderMonkey / Firefox 70](https://bugzilla.mozilla.org/show_bug.cgi?id=1435818)
310 | * [Shipping in JavaScriptCore / Safari 13](https://bugs.webkit.org/show_bug.cgi?id=196351)
311 | 


--------------------------------------------------------------------------------
/docs/ecmarkup.css:
--------------------------------------------------------------------------------
  1 | body {
  2 |   display: flex;
  3 |   font-size: 18px;
  4 |   line-height: 1.5;
  5 |   font-family: Cambria, Palatino Linotype, Palatino, Liberation Serif, serif;
  6 |   padding: 0;
  7 |   margin: 0;
  8 |   color: #111;
  9 | }
 10 | 
 11 | #spec-container {
 12 |   padding: 0 20px;
 13 |   flex-grow: 1;
 14 |   flex-basis: 66%;
 15 |   box-sizing: border-box;
 16 |   overflow: hidden;
 17 | }
 18 | 
 19 | body.oldtoc {
 20 |   margin: 0 auto;
 21 | }
 22 | 
 23 | a {
 24 |     text-decoration: none;
 25 |     color: #206ca7;
 26 | }
 27 | 
 28 | a:visited {
 29 |   color: #206ca7;
 30 | }
 31 | 
 32 | a:hover {
 33 |     text-decoration: underline;
 34 |     color: #239dee;
 35 | }
 36 | 
 37 | 
 38 | code {
 39 |     font-weight: bold;
 40 |     font-family: Consolas, Monaco, monospace;
 41 |     white-space: pre;
 42 | }
 43 | 
 44 | pre code {
 45 |   font-weight: inherit;
 46 | }
 47 | 
 48 | pre code.hljs {
 49 |   background-color: #fff;
 50 |   margin: 0;
 51 |   padding: 0;
 52 | }
 53 | 
 54 | ol.toc {
 55 |     list-style: none;
 56 |     padding-left: 0;
 57 | }
 58 | 
 59 | ol.toc ol.toc {
 60 |     padding-left: 2ex;
 61 |     list-style: none;
 62 | }
 63 | 
 64 | var {
 65 |   color: #2aa198;
 66 |   transition: background-color 0.25s ease;
 67 |   cursor: pointer;
 68 | }
 69 | 
 70 | var.referenced {
 71 |   background-color: #ffff33;
 72 | }
 73 | 
 74 | emu-const {
 75 |   font-family: sans-serif;
 76 | }
 77 | 
 78 | emu-val {
 79 |   font-weight: bold;
 80 | }
 81 | 
 82 | /* depth 1 */
 83 | emu-alg ol,
 84 | /* depth 4 */
 85 | emu-alg ol ol ol ol,
 86 | emu-alg ol.nested-thrice,
 87 | emu-alg ol.nested-twice ol,
 88 | emu-alg ol.nested-once ol ol {
 89 |   list-style-type: decimal;
 90 | }
 91 | 
 92 | /* depth 2 */
 93 | emu-alg ol ol,
 94 | emu-alg ol.nested-once,
 95 | /* depth 5 */
 96 | emu-alg ol ol ol ol ol,
 97 | emu-alg ol.nested-four-times,
 98 | emu-alg ol.nested-thrice ol,
 99 | emu-alg ol.nested-twice ol ol,
100 | emu-alg ol.nested-once ol ol ol {
101 |   list-style-type: lower-alpha;
102 | }
103 | 
104 | /* depth 3 */
105 | emu-alg ol ol ol,
106 | emu-alg ol.nested-twice,
107 | emu-alg ol.nested-once ol,
108 | /* depth 6 */
109 | emu-alg ol ol ol ol ol ol,
110 | emu-alg ol.nested-lots,
111 | emu-alg ol.nested-four-times ol,
112 | emu-alg ol.nested-thrice ol ol,
113 | emu-alg ol.nested-twice ol ol ol,
114 | emu-alg ol.nested-once ol ol ol ol,
115 | /* depth 7+ */
116 | emu-alg ol.nested-lots ol {
117 |   list-style-type: lower-roman;
118 | }
119 | 
120 | emu-eqn {
121 |   display: block;
122 |   margin-left: 4em;
123 | }
124 | 
125 | emu-eqn.inline {
126 |   display: inline;
127 |   margin: 0;
128 | }
129 | 
130 | emu-eqn div:first-child {
131 |   margin-left: -2em;
132 | }
133 | 
134 | emu-note {
135 |     margin: 1em 0;
136 |     color: #666;
137 |     border-left: 5px solid #ccc;
138 |     display: flex;
139 |     flex-direction: row;
140 | }
141 | 
142 | emu-note > span.note {
143 |     flex-basis: 100px;
144 |     min-width: 100px;
145 |     flex-grow: 0;
146 |     flex-shrink: 1;
147 |     text-transform: uppercase;
148 |     padding-left: 5px;
149 | }
150 | 
151 | emu-note[type=editor] {
152 |   border-left-color: #faa;
153 | }
154 | 
155 | emu-note > div.note-contents {
156 |   flex-grow: 1;
157 |   flex-shrink: 1;
158 | }
159 | 
160 | emu-note > div.note-contents > p:first-of-type {
161 |   margin-top: 0;
162 | }
163 | 
164 | emu-note > div.note-contents > p:last-of-type {
165 |   margin-bottom: 0;
166 | }
167 | 
168 | emu-table td code {
169 |   white-space: normal;
170 | } 
171 | 
172 | emu-figure {
173 |   display: block;
174 | }
175 | 
176 | emu-example {
177 |   display: block;
178 |   margin: 1em 3em;
179 | }
180 | 
181 | emu-example figure figcaption {
182 |   margin-top: 0.5em;
183 |   text-align: left;
184 | }
185 | 
186 | emu-figure figure,
187 | emu-example figure,
188 | emu-table figure {
189 |   display: flex;
190 |   flex-direction: column;
191 |   align-items: center;
192 | }
193 | 
194 | emu-production {
195 |     display: block;
196 | }
197 | 
198 | emu-grammar[type="example"] emu-production,
199 | emu-grammar[type="definition"] emu-production {
200 |     margin-top: 1em;
201 |     margin-bottom: 1em;
202 |     margin-left: 5ex;
203 | }
204 | 
205 | emu-grammar.inline, emu-production.inline,
206 | emu-grammar.inline emu-production emu-rhs, emu-production.inline emu-rhs,
207 | emu-grammar[collapsed] emu-production emu-rhs, emu-production[collapsed] emu-rhs {
208 |     display: inline;
209 |     padding-left: 1ex;
210 |     margin-left: 0;
211 | }
212 | 
213 | emu-grammar[collapsed] emu-production, emu-production[collapsed] {
214 |     margin: 0;
215 | }
216 | 
217 | emu-constraints {
218 |     font-size: .75em;
219 |     margin-right: 1ex;
220 | }
221 | 
222 | emu-gann {
223 |     margin-right: 1ex;
224 | }
225 | 
226 | emu-gann emu-t:last-child,
227 | emu-gann emu-gprose:last-child,
228 | emu-gann emu-nt:last-child {
229 |     margin-right: 0;
230 | }
231 | 
232 | emu-geq {
233 |     margin-left: 1ex;
234 |     font-weight: bold;
235 | }
236 | 
237 | emu-oneof {
238 |     font-weight: bold;
239 |     margin-left: 1ex;
240 | }
241 | 
242 | emu-nt {
243 |     display: inline-block;
244 |     font-style: italic;
245 |     white-space: nowrap;
246 |     text-indent: 0;
247 | }
248 | 
249 | emu-nt a, emu-nt a:visited {
250 |   color: #333;
251 | }
252 | 
253 | emu-rhs emu-nt {
254 |     margin-right: 1ex;
255 | }
256 | 
257 | emu-t {
258 |     display: inline-block;
259 |     font-family: monospace;
260 |     font-weight: bold;
261 |     white-space: nowrap;
262 |     text-indent: 0;
263 | }
264 | 
265 | emu-production emu-t {
266 |     margin-right: 1ex;
267 | }
268 | 
269 | emu-rhs {
270 |     display: block;
271 |     padding-left: 75px;
272 |     text-indent: -25px;
273 | }
274 | 
275 | emu-mods {
276 |     font-size: .85em;
277 |     vertical-align: sub;
278 |     font-style: normal;
279 |     font-weight: normal;
280 | }
281 | 
282 | emu-params, emu-opt {
283 |   margin-right: 1ex;
284 |   font-family: monospace;
285 | }
286 | 
287 | emu-params, emu-constraints {
288 |   color: #2aa198;
289 | }
290 | 
291 | emu-opt {
292 |   color: #b58900;
293 | }
294 | 
295 | emu-gprose {
296 |     font-size: 0.9em;
297 |     font-family: Helvetica, Arial, sans-serif;
298 | }
299 | 
300 | emu-production emu-gprose {
301 |     margin-right: 1ex;
302 | }
303 | 
304 | h1.shortname {
305 |   color: #f60;
306 |   font-size: 1.5em;
307 |   margin: 0;
308 | }
309 | 
310 | h1.version {
311 |   color: #f60;
312 |   font-size: 1.5em;
313 |   margin: 0;
314 | }
315 | 
316 | h1.title {
317 |   margin-top: 0;
318 |   color: #f60;
319 | }
320 | 
321 | h1.first {
322 |   margin-top: 0;
323 | }
324 | 
325 | h1, h2, h3, h4, h5, h6 {
326 |     position: relative;
327 | }
328 | 
329 | h1 .secnum {
330 |   text-decoration: none;
331 |   margin-right: 5px;
332 | }
333 | 
334 | h1 span.title {
335 |   order: 2;
336 | }
337 | 
338 | 
339 | h1 { font-size: 2.67em; margin-top: 2em; margin-bottom: 0; line-height: 1em;}
340 | h2 { font-size: 2em; }
341 | h3 { font-size: 1.56em; }
342 | h4 { font-size: 1.25em; }
343 | h5 { font-size: 1.11em; }
344 | h6 { font-size: 1em; }
345 | 
346 | h1:hover span.utils {
347 |   display: block;
348 | }
349 | 
350 | span.utils {
351 |   font-size: 18px;
352 |   line-height: 18px;
353 |   display: none;
354 |   position: absolute;
355 |   top: 100%;
356 |   left: 0;
357 |   right: 0;
358 |   font-weight: normal;
359 | }
360 | 
361 | span.utils:before {
362 |     content: "⤷";
363 |     display: inline-block;
364 |     padding: 0 5px;
365 | }
366 | 
367 | span.utils > * {
368 |   display: inline-block;
369 |   margin-right: 20px;
370 | }
371 | 
372 | h1 span.utils span.anchor a,
373 | h2 span.utils span.anchor a,
374 | h3 span.utils span.anchor a,
375 | h4 span.utils span.anchor a,
376 | h5 span.utils span.anchor a,
377 | h6 span.utils span.anchor a {
378 |   text-decoration: none;
379 |   font-variant: small-caps;
380 | }
381 | 
382 | h1 span.utils span.anchor a:hover,
383 | h2 span.utils span.anchor a:hover,
384 | h3 span.utils span.anchor a:hover,
385 | h4 span.utils span.anchor a:hover,
386 | h5 span.utils span.anchor a:hover,
387 | h6 span.utils span.anchor a:hover {
388 |   color: #333;
389 | }
390 | 
391 | emu-intro h1, emu-clause h1, emu-annex h1 { font-size: 2em; }
392 | emu-intro h2, emu-clause h2, emu-annex h2 { font-size: 1.56em; }
393 | emu-intro h3, emu-clause h3, emu-annex h3 { font-size: 1.25em; }
394 | emu-intro h4, emu-clause h4, emu-annex h4 { font-size: 1.11em; }
395 | emu-intro h5, emu-clause h5, emu-annex h5 { font-size: 1em; }
396 | emu-intro h6, emu-clause h6, emu-annex h6 { font-size: 0.9em; }
397 | emu-intro emu-intro h1, emu-clause emu-clause h1, emu-annex emu-annex h1 { font-size: 1.56em; }
398 | emu-intro emu-intro h2, emu-clause emu-clause h2, emu-annex emu-annex h2 { font-size: 1.25em; }
399 | emu-intro emu-intro h3, emu-clause emu-clause h3, emu-annex emu-annex h3 { font-size: 1.11em; }
400 | emu-intro emu-intro h4, emu-clause emu-clause h4, emu-annex emu-annex h4 { font-size: 1em; }
401 | emu-intro emu-intro h5, emu-clause emu-clause h5, emu-annex emu-annex h5 { font-size: 0.9em; }
402 | emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex h1 { font-size: 1.25em; }
403 | emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex h2 { font-size: 1.11em; }
404 | emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex h3 { font-size: 1em; }
405 | emu-intro emu-intro emu-intro h4, emu-clause emu-clause emu-clause h4, emu-annex emu-annex emu-annex h4 { font-size: 0.9em; }
406 | emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1.11em; }
407 | emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex h2 { font-size: 1em; }
408 | emu-intro emu-intro emu-intro emu-intro h3, emu-clause emu-clause emu-clause emu-clause h3, emu-annex emu-annex emu-annex emu-annex h3 { font-size: 0.9em; }
409 | emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 1em; }
410 | emu-intro emu-intro emu-intro emu-intro emu-intro h2, emu-clause emu-clause emu-clause emu-clause emu-clause h2, emu-annex emu-annex emu-annex emu-annex emu-annex h2 { font-size: 0.9em; }
411 | emu-intro emu-intro emu-intro emu-intro emu-intro emu-intro h1, emu-clause emu-clause emu-clause emu-clause emu-clause emu-clause h1, emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex h1 { font-size: 0.9em }
412 | 
413 | emu-clause, emu-intro, emu-annex {
414 |     display: block;
415 | }
416 | 
417 | /* Figures and tables */
418 | figure { display: block; margin: 1em 0 3em 0; }
419 | figure object { display: block; margin: 0 auto; }
420 | figure table.real-table { margin: 0 auto; }
421 | figure figcaption {
422 |     display: block;
423 |     color: #555555;
424 |     font-weight: bold;
425 |     text-align: center;
426 | }
427 | 
428 | emu-table table {
429 |   margin: 0 auto;
430 | }
431 | 
432 | emu-table table, table.real-table {
433 |     border-collapse: collapse;
434 | }
435 | 
436 | emu-table td, emu-table th, table.real-table td, table.real-table th {
437 |     border: 1px solid black;
438 |     padding: 0.4em;
439 |     vertical-align: baseline;
440 | }
441 | emu-table th, emu-table thead td, table.real-table th {
442 |     background-color: #eeeeee;
443 | }
444 | 
445 | /* Note: the left content edges of table.lightweight-table >tbody >tr >td
446 |    and div.display line up. */
447 | table.lightweight-table {
448 |     border-collapse: collapse;
449 |     margin: 0 0 0 1.5em;
450 | }
451 | table.lightweight-table td, table.lightweight-table th {
452 |     border: none;
453 |     padding: 0 0.5em;
454 |     vertical-align: baseline;
455 | }
456 | 
457 | /* diff styles */
458 | ins {
459 |     background-color: #e0f8e0;
460 |     text-decoration: none;
461 |     border-bottom: 1px solid #396;
462 | }
463 | 
464 | del {
465 |     background-color: #fee;
466 | }
467 | 
468 | ins.block, del.block,
469 | emu-production > ins, emu-production > del,
470 | emu-grammar > ins, emu-grammar > del {
471 |   display: block;
472 | }
473 | emu-rhs > ins, emu-rhs > del { 
474 |   display: inline;
475 | }
476 | 
477 | tr.ins > td > ins {
478 |   border-bottom: none;
479 | }
480 | 
481 | tr.ins > td {
482 |   background-color: #e0f8e0;
483 | }
484 | 
485 | tr.del > td {
486 |   background-color: #fee;
487 | }
488 | 
489 | /* Menu Styles */
490 | #menu-toggle {
491 |   font-size: 2em;
492 | 
493 |   position: fixed;
494 |   top: 0;
495 |   left: 0;
496 |   width: 1.5em;
497 |   height: 1.5em;
498 |   z-index: 3;
499 |   visibility: hidden;
500 |   color: #1567a2;
501 |   background-color: #fff;
502 | 
503 |   line-height: 1.5em;
504 |   text-align: center;
505 |   -webkit-touch-callout: none;
506 |   -webkit-user-select: none;
507 |   -khtml-user-select: none;
508 |   -moz-user-select: none;
509 |   -ms-user-select: none;
510 |   user-select: none;;
511 | 
512 |   cursor: pointer;
513 | }
514 | 
515 | #menu {
516 |   display: flex;
517 |   flex-direction: column;
518 |   width: 33%; height: 100vh;
519 |   max-width: 500px;
520 |   box-sizing: border-box;
521 |   background-color: #ddd;
522 |   overflow: hidden;
523 |   transition: opacity 0.1s linear;
524 |   padding: 0 5px;
525 |   position: fixed;
526 |   left: 0; top: 0;
527 |   border-right: 2px solid #bbb;
528 | 
529 |   z-index: 2;
530 | }
531 | 
532 | #menu-spacer {
533 |   flex-basis: 33%;
534 |   max-width: 500px;
535 |   flex-grow: 0;
536 |   flex-shrink: 0;
537 | }
538 | 
539 | #menu a {
540 |   color: #1567a2;
541 | }
542 | 
543 | #menu.active {
544 |   display: flex;
545 |   opacity: 1;
546 |   z-index: 2;
547 | }
548 | 
549 | #menu-pins {
550 |   flex-grow: 1;
551 |   display: none;
552 | }
553 | 
554 | #menu-pins.active {
555 |   display: block;
556 | }
557 | 
558 | #menu-pins-list {
559 |   margin: 0;
560 |   padding: 0;
561 |   counter-reset: pins-counter;
562 | }
563 | 
564 | #menu-pins-list > li:before {
565 |   content: counter(pins-counter);
566 |   counter-increment: pins-counter;
567 |   display: inline-block;
568 |   width: 25px;
569 |   text-align: center;
570 |   border: 1px solid #bbb;
571 |   padding: 2px;
572 |   margin: 4px;
573 |   box-sizing: border-box;
574 |   line-height: 1em;
575 |   background-color: #ccc;
576 |   border-radius: 4px;
577 | }
578 | #menu-toc > ol {
579 |   padding: 0;
580 |   flex-grow: 1;
581 | }
582 | 
583 | #menu-toc > ol li {
584 |   padding: 0;
585 | }
586 | 
587 | #menu-toc > ol , #menu-toc > ol ol {
588 |   list-style-type: none;
589 |   margin: 0;
590 |   padding: 0;
591 | }
592 | 
593 | #menu-toc > ol ol {
594 |   padding-left: 0.75em;
595 | }
596 | 
597 | #menu-toc li {
598 |   text-overflow: ellipsis;
599 |   overflow: hidden;
600 |   white-space: nowrap;
601 | }
602 | 
603 | #menu-toc .item-toggle {
604 |   display: inline-block;
605 |   transform: rotate(-45deg) translate(-5px, -5px);
606 |   transition: transform 0.1s ease;
607 |   text-align: center;
608 |   width: 20px;
609 | 
610 |   color: #aab;
611 | 
612 |   -webkit-touch-callout: none;
613 |   -webkit-user-select: none;
614 |   -khtml-user-select: none;
615 |   -moz-user-select: none;
616 |   -ms-user-select: none;
617 |   user-select: none;;
618 | 
619 |   cursor: pointer;
620 | }
621 | 
622 | #menu-toc .item-toggle-none {
623 |   display: inline-block;
624 |   width: 20px;
625 | }
626 | 
627 | #menu-toc li.active > .item-toggle {
628 |   transform: rotate(45deg) translate(-5px, -5px);
629 | }
630 | 
631 | #menu-toc li > ol {
632 |   display: none;
633 | }
634 | 
635 | #menu-toc li.active > ol {
636 |   display: block;
637 | }
638 | 
639 | #menu-toc li.revealed > a {
640 |   background-color: #bbb;
641 |   font-weight: bold;
642 |   /*
643 |   background-color: #222;
644 |   color: #c6d8e4;
645 |   */
646 | }
647 | 
648 | #menu-toc li.revealed-leaf> a {
649 |   color: #206ca7;
650 |   /*
651 |   background-color: #222;
652 |   color: #c6d8e4;
653 |   */
654 | }
655 | 
656 | #menu-toc li.revealed > .item-toggle {
657 |   transform: rotate(45deg) translate(-5px, -5px);
658 | }
659 | 
660 | #menu-toc li.revealed > ol {
661 |   display: block;
662 | }
663 | 
664 | #menu-toc li > a {
665 |   padding: 2px 5px;
666 | }
667 | 
668 | #menu > * {
669 |   margin-bottom: 5px;
670 | }
671 | 
672 | .menu-pane-header {
673 |   padding: 0 5px;
674 |   text-transform: uppercase;
675 |   background-color: #aaa;
676 |   color: #335;
677 |   font-weight: bold;
678 |   letter-spacing: 2px;
679 |   flex-grow: 0;
680 |   flex-shrink: 0;
681 |   font-size: 0.8em;
682 | }
683 | 
684 | #menu-toc {
685 |   display: flex;
686 |   flex-direction: column;
687 |   width: 100%;
688 |   overflow: hidden;
689 |   flex-grow: 1;
690 | }
691 | 
692 | #menu-toc ol.toc {
693 |   overflow-x: hidden;
694 |   overflow-y: auto;
695 | }
696 | 
697 | #menu-search {
698 |   position: relative;
699 |   flex-grow: 0;
700 |   flex-shrink: 0;
701 |   width: 100%;
702 |   
703 |   display: flex;
704 |   flex-direction: column;
705 |   
706 |   max-height: 300px;
707 | }
708 | 
709 | #menu-trace-list {
710 |   display: none;
711 | }
712 | 
713 | #menu-search-box {
714 |   box-sizing: border-box;
715 |   display: block;
716 |   width: 100%;
717 |   margin: 5px 0 0 0;
718 |   font-size: 1em;
719 |   padding: 2px;
720 |   background-color: #bbb;
721 |   border: 1px solid #999;
722 | }
723 | 
724 | #menu-search-results {
725 |   overflow-x: hidden;
726 |   overflow-y: auto;
727 | }
728 | 
729 | li.menu-search-result-clause:before {
730 |     content: 'clause';
731 |     width: 40px;
732 |     display: inline-block;
733 |     text-align: right;
734 |     padding-right: 1ex;
735 |     color: #666;
736 |     font-size: 75%;
737 | }
738 | li.menu-search-result-op:before {
739 |     content: 'op';
740 |     width: 40px;
741 |     display: inline-block;
742 |     text-align: right;
743 |     padding-right: 1ex;
744 |     color: #666;
745 |     font-size: 75%;
746 | }
747 | 
748 | li.menu-search-result-prod:before {
749 |     content: 'prod';
750 |     width: 40px;
751 |     display: inline-block;
752 |     text-align: right;
753 |     padding-right: 1ex;
754 |     color: #666;
755 |     font-size: 75%
756 | }
757 | 
758 | 
759 | li.menu-search-result-term:before {
760 |     content: 'term';
761 |     width: 40px;
762 |     display: inline-block;
763 |     text-align: right;
764 |     padding-right: 1ex;
765 |     color: #666;
766 |     font-size: 75%
767 | }
768 | 
769 | #menu-search-results ul {
770 |   padding: 0 5px;
771 |   margin: 0;
772 | }
773 | 
774 | #menu-search-results li {
775 |   white-space: nowrap;
776 |   text-overflow: ellipsis;
777 | }
778 | 
779 | 
780 | #menu-trace-list {
781 |   counter-reset: item;
782 |   margin: 0 0 0 20px;
783 |   padding: 0;
784 | }
785 | #menu-trace-list li {
786 |   display: block;
787 |   white-space: nowrap;
788 | }
789 | 
790 | #menu-trace-list li .secnum:after {
791 |   content: " ";
792 | }
793 | #menu-trace-list li:before {
794 |     content: counter(item) " ";
795 |     background-color: #222;
796 |     counter-increment: item;
797 |     color: #999;
798 |     width: 20px;
799 |     height: 20px;
800 |     line-height: 20px;
801 |     display: inline-block;
802 |     text-align: center;
803 |     margin: 2px 4px 2px 0;
804 | }
805 | 
806 | @media (max-width: 1000px) {
807 |   body {
808 |     margin: 0;
809 |     display: block;
810 |   }
811 | 
812 |   #menu {
813 |     display: none;
814 |     padding-top: 3em;
815 |     width: 450px;
816 |   }
817 | 
818 |   #menu.active {
819 |     position: fixed;
820 |     height: 100%;
821 |     left: 0;
822 |     top: 0;
823 |     right: 300px;
824 |   }
825 | 
826 |   #menu-toggle {
827 |     visibility: visible;
828 |   }
829 | 
830 |   #spec-container {
831 |     padding: 0 5px;
832 |   }
833 | 
834 |   #references-pane-spacer {
835 |     display: none;
836 |   }
837 | }
838 | 
839 | @media only screen and (max-width: 800px) {
840 |   #menu {
841 |     width: 100%;
842 |   }
843 | 
844 |   h1 .secnum:empty {
845 |     margin: 0; padding: 0;
846 |   }
847 | }
848 | 
849 | 
850 | /* Toolbox */
851 | .toolbox {
852 | 	position: absolute;
853 | 	background: #ddd;
854 | 	border: 1px solid #aaa;
855 |   display: none;
856 |   color: #eee;
857 |   padding: 5px;
858 |   border-radius: 3px;
859 | }
860 | 
861 | .toolbox.active {
862 |   display: inline-block;
863 | }
864 | 
865 | .toolbox a {
866 |   text-decoration: none;
867 |   padding: 0 5px;
868 | }
869 | 
870 | .toolbox a:hover {
871 |   text-decoration: underline;
872 | }
873 | 
874 | .toolbox:after, .toolbox:before {
875 | 	top: 100%;
876 | 	left: 15px;
877 | 	border: solid transparent;
878 | 	content: " ";
879 | 	height: 0;
880 | 	width: 0;
881 | 	position: absolute;
882 | 	pointer-events: none;
883 | }
884 | 
885 | .toolbox:after {
886 | 	border-color: rgba(0, 0, 0, 0);
887 | 	border-top-color: #ddd;
888 | 	border-width: 10px;
889 | 	margin-left: -10px;
890 | }
891 | .toolbox:before {
892 | 	border-color: rgba(204, 204, 204, 0);
893 | 	border-top-color: #aaa;
894 | 	border-width: 12px;
895 | 	margin-left: -12px;
896 | }
897 | 
898 | #references-pane-container {
899 |   position: fixed;
900 |   bottom: 0;
901 |   left: 0;
902 |   right: 0;
903 |   height: 250px;
904 |   display: none;
905 |   background-color: #ddd;
906 |   z-index: 1;
907 | }
908 | 
909 | #references-pane-table-container {
910 |   overflow-x: hidden;
911 |   overflow-y: auto;
912 | }
913 | 
914 | #references-pane-spacer {
915 |   flex-basis: 33%;
916 |   max-width: 500px;
917 | }
918 | 
919 | #references-pane {
920 |   flex-grow: 1;
921 |   overflow: hidden;
922 |   display: flex;
923 |   flex-direction: column;
924 | }
925 | 
926 | #references-pane-container.active {
927 |   display: flex;
928 | }
929 | 
930 | #references-pane-close:after {
931 |   content: '✖';
932 |   float: right;
933 |   cursor: pointer;
934 | }
935 | 
936 | #references-pane table tr td:first-child {
937 |   text-align: right;
938 |   padding-right: 5px;
939 | }
940 | 
941 | @media print {
942 |   #menu-toggle {
943 |     display: none; 
944 |   }
945 | }
946 | 


--------------------------------------------------------------------------------
/docs/ecmarkup.js:
--------------------------------------------------------------------------------
  1 | "use strict";
  2 | 
  3 | function Search(menu) {
  4 |   this.menu = menu;
  5 |   this.$search = document.getElementById('menu-search');
  6 |   this.$searchBox = document.getElementById('menu-search-box');
  7 |   this.$searchResults = document.getElementById('menu-search-results');
  8 | 
  9 |   this.loadBiblio();
 10 | 
 11 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
 12 | 
 13 |   this.$searchBox.addEventListener('keydown', debounce(this.searchBoxKeydown.bind(this), { stopPropagation: true }));
 14 |   this.$searchBox.addEventListener('keyup', debounce(this.searchBoxKeyup.bind(this), { stopPropagation: true }));
 15 | 
 16 |   // Perform an initial search if the box is not empty.
 17 |   if (this.$searchBox.value) {
 18 |     this.search(this.$searchBox.value);
 19 |   }
 20 | }
 21 | 
 22 | Search.prototype.loadBiblio = function () {
 23 |   var $biblio = document.getElementById('menu-search-biblio');
 24 |   if (!$biblio) {
 25 |     this.biblio = [];
 26 |   } else {
 27 |     this.biblio = JSON.parse($biblio.textContent);
 28 |     this.biblio.clauses = this.biblio.filter(function (e) { return e.type === 'clause' });
 29 |     this.biblio.byId = this.biblio.reduce(function (map, entry) {
 30 |       map[entry.id] = entry;
 31 |       return map;
 32 |     }, {});
 33 |   }
 34 | }
 35 | 
 36 | Search.prototype.documentKeydown = function (e) {
 37 |   if (e.keyCode === 191) {
 38 |     e.preventDefault();
 39 |     e.stopPropagation();
 40 |     this.triggerSearch();
 41 |   }
 42 | }
 43 | 
 44 | Search.prototype.searchBoxKeydown = function (e) {
 45 |   e.stopPropagation();
 46 |   e.preventDefault();
 47 |   if (e.keyCode === 191 && e.target.value.length === 0) {
 48 |     e.preventDefault();
 49 |   } else if (e.keyCode === 13) {
 50 |     e.preventDefault();
 51 |     this.selectResult();
 52 |   }
 53 | }
 54 | 
 55 | Search.prototype.searchBoxKeyup = function (e) {
 56 |   if (e.keyCode === 13 || e.keyCode === 9) {
 57 |     return;
 58 |   }
 59 | 
 60 |   this.search(e.target.value);
 61 | }
 62 | 
 63 | 
 64 | Search.prototype.triggerSearch = function (e) {
 65 |   if (this.menu.isVisible()) {
 66 |     this._closeAfterSearch = false;
 67 |   } else {
 68 |     this._closeAfterSearch = true;
 69 |     this.menu.show();
 70 |   }
 71 | 
 72 |   this.$searchBox.focus();
 73 |   this.$searchBox.select();
 74 | }
 75 | // bit 12 - Set if the result starts with searchString
 76 | // bits 8-11: 8 - number of chunks multiplied by 2 if cases match, otherwise 1.
 77 | // bits 1-7: 127 - length of the entry
 78 | // General scheme: prefer case sensitive matches with fewer chunks, and otherwise
 79 | // prefer shorter matches.
 80 | function relevance(result, searchString) {
 81 |   var relevance = 0;
 82 | 
 83 |   relevance = Math.max(0, 8 - result.match.chunks) << 7;
 84 | 
 85 |   if (result.match.caseMatch) {
 86 |     relevance *= 2;
 87 |   }
 88 | 
 89 |   if (result.match.prefix) {
 90 |     relevance += 2048
 91 |   }
 92 | 
 93 |   relevance += Math.max(0, 255 - result.entry.key.length);
 94 | 
 95 |   return relevance;
 96 | }
 97 | 
 98 | Search.prototype.search = function (searchString) {
 99 |   if (searchString === '') {
100 |     this.displayResults([]);
101 |     this.hideSearch();
102 |     return;
103 |   } else {
104 |     this.showSearch();
105 |   }
106 | 
107 |   if (searchString.length === 1) {
108 |     this.displayResults([]);
109 |     return;
110 |   }
111 | 
112 |   var results;
113 | 
114 |   if (/^[\d\.]*$/.test(searchString)) {
115 |     results = this.biblio.clauses.filter(function (clause) {
116 |       return clause.number.substring(0, searchString.length) === searchString;
117 |     }).map(function (clause) {
118 |       return { entry: clause };
119 |     });
120 |   } else {
121 |     results = [];
122 | 
123 |     for (var i = 0; i < this.biblio.length; i++) {
124 |       var entry = this.biblio[i];
125 |       if (!entry.key) {
126 |         // biblio entries without a key aren't searchable
127 |         continue;
128 |       }
129 | 
130 |       var match = fuzzysearch(searchString, entry.key);
131 |       if (match) {
132 |         results.push({ entry: entry, match: match });
133 |       }
134 |     }
135 | 
136 |     results.forEach(function (result) {
137 |       result.relevance = relevance(result, searchString);
138 |     });
139 | 
140 |     results = results.sort(function (a, b) { return b.relevance - a.relevance });
141 | 
142 |   }
143 | 
144 |   if (results.length > 50) {
145 |     results = results.slice(0, 50);
146 |   }
147 | 
148 |   this.displayResults(results);
149 | }
150 | Search.prototype.hideSearch = function () {
151 |   this.$search.classList.remove('active');
152 | }
153 | 
154 | Search.prototype.showSearch = function () {
155 |   this.$search.classList.add('active');
156 | }
157 | 
158 | Search.prototype.selectResult = function () {
159 |   var $first = this.$searchResults.querySelector('li:first-child a');
160 | 
161 |   if ($first) {
162 |     document.location = $first.getAttribute('href');
163 |   }
164 | 
165 |   this.$searchBox.value = '';
166 |   this.$searchBox.blur();
167 |   this.displayResults([]);
168 |   this.hideSearch();
169 | 
170 |   if (this._closeAfterSearch) {
171 |     this.menu.hide();
172 |   }
173 | }
174 | 
175 | Search.prototype.displayResults = function (results) {
176 |   if (results.length > 0) {
177 |     this.$searchResults.classList.remove('no-results');
178 | 
179 |     var html = '<ul>';
180 | 
181 |     results.forEach(function (result) {
182 |       var entry = result.entry;
183 |       var id = entry.id;
184 |       var cssClass = '';
185 |       var text = '';
186 | 
187 |       if (entry.type === 'clause') {
188 |         var number = entry.number ? entry.number + ' ' : '';
189 |         text = number + entry.key;
190 |         cssClass = 'clause';
191 |         id = entry.id;
192 |       } else if (entry.type === 'production') {
193 |         text = entry.key;
194 |         cssClass = 'prod';
195 |         id = entry.id;
196 |       } else if (entry.type === 'op') {
197 |         text = entry.key;
198 |         cssClass = 'op';
199 |         id = entry.id || entry.refId;
200 |       } else if (entry.type === 'term') {
201 |         text = entry.key;
202 |         cssClass = 'term';
203 |         id = entry.id || entry.refId;
204 |       }
205 | 
206 |       if (text) {
207 |         html += '<li class=menu-search-result-' + cssClass + '><a href="#' + id + '">' + text + '</a></li>';
208 |       }
209 |     });
210 | 
211 |     html += '</ul>'
212 | 
213 |     this.$searchResults.innerHTML = html;
214 |   } else {
215 |     this.$searchResults.innerHTML = '';
216 |     this.$searchResults.classList.add('no-results');
217 |   }
218 | }
219 | 
220 | 
221 | function Menu() {
222 |   this.$toggle = document.getElementById('menu-toggle');
223 |   this.$menu = document.getElementById('menu');
224 |   this.$toc = document.querySelector('menu-toc > ol');
225 |   this.$pins = document.querySelector('#menu-pins');
226 |   this.$pinList = document.getElementById('menu-pins-list');
227 |   this.$toc = document.querySelector('#menu-toc > ol');
228 |   this.$specContainer = document.getElementById('spec-container');
229 |   this.search = new Search(this);
230 | 
231 |   this._pinnedIds = {}; 
232 |   this.loadPinEntries();
233 | 
234 |   // toggle menu
235 |   this.$toggle.addEventListener('click', this.toggle.bind(this));
236 | 
237 |   // keydown events for pinned clauses
238 |   document.addEventListener('keydown', this.documentKeydown.bind(this));
239 | 
240 |   // toc expansion
241 |   var tocItems = this.$menu.querySelectorAll('#menu-toc li');
242 |   for (var i = 0; i < tocItems.length; i++) {
243 |     var $item = tocItems[i];
244 |     $item.addEventListener('click', function($item, event) {
245 |       $item.classList.toggle('active');
246 |       event.stopPropagation();
247 |     }.bind(null, $item));
248 |   }
249 | 
250 |   // close toc on toc item selection
251 |   var tocLinks = this.$menu.querySelectorAll('#menu-toc li > a');
252 |   for (var i = 0; i < tocLinks.length; i++) {
253 |     var $link = tocLinks[i];
254 |     $link.addEventListener('click', function(event) {
255 |       this.toggle();
256 |       event.stopPropagation();
257 |     }.bind(this));
258 |   }
259 | 
260 |   // update active clause on scroll
261 |   window.addEventListener('scroll', debounce(this.updateActiveClause.bind(this)));
262 |   this.updateActiveClause();
263 | 
264 |   // prevent menu scrolling from scrolling the body
265 |   this.$toc.addEventListener('wheel', function (e) {
266 |     var target = e.currentTarget;
267 |     var offTop = e.deltaY < 0 && target.scrollTop === 0;
268 |     if (offTop) {
269 |       e.preventDefault();
270 |     }
271 |     var offBottom = e.deltaY > 0
272 |                     && target.offsetHeight + target.scrollTop >= target.scrollHeight;
273 | 
274 |     if (offBottom) {
275 |       e.preventDefault();
276 |     }
277 |   });
278 | }
279 | 
280 | Menu.prototype.documentKeydown = function (e) {
281 |   e.stopPropagation();
282 |   if (e.keyCode === 80) {
283 |     this.togglePinEntry();
284 |   } else if (e.keyCode > 48 && e.keyCode < 58) {
285 |     this.selectPin(e.keyCode - 49);
286 |   }
287 | }
288 | 
289 | Menu.prototype.updateActiveClause = function () {
290 |   this.setActiveClause(findActiveClause(this.$specContainer))
291 | }
292 | 
293 | Menu.prototype.setActiveClause = function (clause) {
294 |   this.$activeClause = clause;
295 |   this.revealInToc(this.$activeClause);
296 | }
297 | 
298 | Menu.prototype.revealInToc = function (path) {
299 |   var current = this.$toc.querySelectorAll('li.revealed');
300 |   for (var i = 0; i < current.length; i++) {
301 |     current[i].classList.remove('revealed');
302 |     current[i].classList.remove('revealed-leaf');
303 |   }
304 | 
305 |   var current = this.$toc;
306 |   var index = 0;
307 |   while (index < path.length) {
308 |     var children = current.children;
309 |     for (var i = 0; i < children.length; i++) {
310 |       if ('#' + path[index].id === children[i].children[1].getAttribute('href') ) {
311 |         children[i].classList.add('revealed');
312 |         if (index === path.length - 1) {
313 |           children[i].classList.add('revealed-leaf');
314 |           var rect = children[i].getBoundingClientRect();
315 |           // this.$toc.getBoundingClientRect().top;
316 |           var tocRect = this.$toc.getBoundingClientRect();
317 |           if (rect.top + 10 > tocRect.bottom) {
318 |             this.$toc.scrollTop = this.$toc.scrollTop + (rect.top - tocRect.bottom) + (rect.bottom - rect.top);
319 |           } else if (rect.top < tocRect.top) {
320 |             this.$toc.scrollTop = this.$toc.scrollTop - (tocRect.top - rect.top);
321 |           }
322 |         }
323 |         current = children[i].querySelector('ol');
324 |         index++;
325 |         break;
326 |       }
327 |     }
328 | 
329 |   }
330 | }
331 | 
332 | function findActiveClause(root, path) {
333 |   var clauses = new ClauseWalker(root);
334 |   var $clause;
335 |   var path = path || [];
336 | 
337 |   while ($clause = clauses.nextNode()) {
338 |     var rect = $clause.getBoundingClientRect();
339 |     var $header = $clause.querySelector("h1");
340 |     var marginTop = parseInt(getComputedStyle($header)["margin-top"]);
341 | 
342 |     if ((rect.top - marginTop) <= 0 && rect.bottom > 0) {
343 |       return findActiveClause($clause, path.concat($clause)) || path;
344 |     }
345 |   }
346 | 
347 |   return path;
348 | }
349 | 
350 | function ClauseWalker(root) {
351 |   var previous;
352 |   var treeWalker = document.createTreeWalker(
353 |     root,
354 |     NodeFilter.SHOW_ELEMENT,
355 |     {
356 |       acceptNode: function (node) {
357 |         if (previous === node.parentNode) {
358 |           return NodeFilter.FILTER_REJECT;
359 |         } else {
360 |           previous = node;
361 |         }
362 |         if (node.nodeName === 'EMU-CLAUSE' || node.nodeName === 'EMU-INTRO' || node.nodeName === 'EMU-ANNEX') {
363 |           return NodeFilter.FILTER_ACCEPT;
364 |         } else {
365 |           return NodeFilter.FILTER_SKIP;
366 |         }
367 |       }
368 |     },
369 |     false
370 |     );
371 | 
372 |   return treeWalker;
373 | }
374 | 
375 | Menu.prototype.toggle = function () {
376 |   this.$menu.classList.toggle('active');
377 | }
378 | 
379 | Menu.prototype.show = function () {
380 |   this.$menu.classList.add('active');
381 | }
382 | 
383 | Menu.prototype.hide = function () {
384 |   this.$menu.classList.remove('active');
385 | }
386 | 
387 | Menu.prototype.isVisible = function() {
388 |   return this.$menu.classList.contains('active');
389 | }
390 | 
391 | Menu.prototype.showPins = function () {
392 |   this.$pins.classList.add('active');
393 | }
394 | 
395 | Menu.prototype.hidePins = function () {
396 |   this.$pins.classList.remove('active');
397 | }
398 | 
399 | Menu.prototype.addPinEntry = function (id) {
400 |   var entry = this.search.biblio.byId[id];
401 |   if (!entry) {
402 |     // id was deleted after pin (or something) so remove it
403 |     delete this._pinnedIds[id];
404 |     this.persistPinEntries();
405 |     return;
406 |   }
407 | 
408 |   if (entry.type === 'clause') {
409 |     var prefix;
410 |     if (entry.number) {
411 |       prefix = entry.number + ' ';
412 |     } else {
413 |       prefix = '';
414 |     }
415 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + prefix + entry.titleHTML + '</a></li>';
416 |   } else {
417 |     this.$pinList.innerHTML += '<li><a href="#' + entry.id + '">' + entry.key + '</a></li>';
418 |   }
419 | 
420 |   if (Object.keys(this._pinnedIds).length === 0) {
421 |     this.showPins();
422 |   }
423 |   this._pinnedIds[id] = true;
424 |   this.persistPinEntries();
425 | }
426 | 
427 | Menu.prototype.removePinEntry = function (id) {
428 |   var item = this.$pinList.querySelector('a[href="#' + id + '"]').parentNode;
429 |   this.$pinList.removeChild(item);
430 |   delete this._pinnedIds[id];
431 |   if (Object.keys(this._pinnedIds).length === 0) {
432 |     this.hidePins();
433 |   }
434 | 
435 |   this.persistPinEntries();
436 | }
437 | 
438 | Menu.prototype.persistPinEntries = function () {
439 |   try {
440 |     if (!window.localStorage) return;
441 |   } catch (e) {
442 |     return;
443 |   }
444 | 
445 |   localStorage.pinEntries = JSON.stringify(Object.keys(this._pinnedIds));
446 | }
447 | 
448 | Menu.prototype.loadPinEntries = function () {
449 |   try {
450 |     if (!window.localStorage) return;
451 |   } catch (e) {
452 |     return;
453 |   }
454 | 
455 |   var pinsString = window.localStorage.pinEntries;
456 |   if (!pinsString) return;
457 |   var pins = JSON.parse(pinsString);
458 |   for(var i = 0; i < pins.length; i++) {
459 |     this.addPinEntry(pins[i]);
460 |   }
461 | }
462 | 
463 | Menu.prototype.togglePinEntry = function (id) {
464 |   if (!id) {
465 |     id = this.$activeClause[this.$activeClause.length - 1].id;
466 |   }
467 | 
468 |   if (this._pinnedIds[id]) {
469 |     this.removePinEntry(id);
470 |   } else {
471 |     this.addPinEntry(id);
472 |   }
473 | }
474 | 
475 | Menu.prototype.selectPin = function (num) {
476 |   document.location = this.$pinList.children[num].children[0].href;
477 | }
478 | 
479 | var menu;
480 | function init() {
481 |   menu = new Menu();
482 |   var $container = document.getElementById('spec-container');
483 |   $container.addEventListener('mouseover', debounce(function (e) {
484 |     Toolbox.activateIfMouseOver(e);
485 |   }));
486 |   document.addEventListener('keydown', debounce(function (e) {
487 |     if (e.code === "Escape" && Toolbox.active) {
488 |       Toolbox.deactivate();
489 |     }
490 |   }));
491 | }
492 | 
493 | document.addEventListener('DOMContentLoaded', init);
494 | 
495 | function debounce(fn, opts) {
496 |   opts = opts || {};
497 |   var timeout;
498 |   return function(e) {
499 |     if (opts.stopPropagation) {
500 |       e.stopPropagation();
501 |     }
502 |     var args = arguments;
503 |     if (timeout) {
504 |       clearTimeout(timeout);
505 |     }
506 |     timeout = setTimeout(function() {
507 |       timeout = null;
508 |       fn.apply(this, args);
509 |     }.bind(this), 150);
510 |   }
511 | }
512 | 
513 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
514 | function findLocalReferences ($elem) {
515 |   var name = $elem.innerHTML;
516 |   var references = [];
517 | 
518 |   var parentClause = $elem.parentNode;
519 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
520 |     parentClause = parentClause.parentNode;
521 |   }
522 | 
523 |   if(!parentClause) return;
524 | 
525 |   var vars = parentClause.querySelectorAll('var');
526 | 
527 |   for (var i = 0; i < vars.length; i++) {
528 |     var $var = vars[i];
529 | 
530 |     if ($var.innerHTML === name) {
531 |       references.push($var);
532 |     }
533 |   }
534 | 
535 |   return references;
536 | }
537 | 
538 | function toggleFindLocalReferences($elem) {
539 |   var references = findLocalReferences($elem);
540 |   if ($elem.classList.contains('referenced')) {
541 |     references.forEach(function ($reference) {
542 |       $reference.classList.remove('referenced');
543 |     });
544 |   } else {
545 |     references.forEach(function ($reference) {
546 |       $reference.classList.add('referenced');
547 |     });
548 |   }
549 | }
550 | 
551 | function installFindLocalReferences () {
552 |   document.addEventListener('click', function (e) {
553 |     if (e.target.nodeName === 'VAR') {
554 |       toggleFindLocalReferences(e.target);
555 |     }
556 |   });
557 | }
558 | 
559 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
560 | 
561 | 
562 | 
563 | 
564 | // The following license applies to the fuzzysearch function
565 | // The MIT License (MIT)
566 | // Copyright © 2015 Nicolas Bevacqua
567 | // Copyright © 2016 Brian Terlson
568 | // Permission is hereby granted, free of charge, to any person obtaining a copy of
569 | // this software and associated documentation files (the "Software"), to deal in
570 | // the Software without restriction, including without limitation the rights to
571 | // use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
572 | // the Software, and to permit persons to whom the Software is furnished to do so,
573 | // subject to the following conditions:
574 | 
575 | // The above copyright notice and this permission notice shall be included in all
576 | // copies or substantial portions of the Software.
577 | 
578 | // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
579 | // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
580 | // FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
581 | // COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
582 | // IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
583 | // CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
584 | function fuzzysearch (searchString, haystack, caseInsensitive) {
585 |   var tlen = haystack.length;
586 |   var qlen = searchString.length;
587 |   var chunks = 1;
588 |   var finding = false;
589 | 
590 |   if (qlen > tlen) {
591 |     return false;
592 |   }
593 | 
594 |   if (qlen === tlen) {
595 |     if (searchString === haystack) {
596 |       return { caseMatch: true, chunks: 1, prefix: true };
597 |     } else if (searchString.toLowerCase() === haystack.toLowerCase()) {
598 |       return { caseMatch: false, chunks: 1, prefix: true };
599 |     } else {
600 |       return false;
601 |     }
602 |   }
603 | 
604 |   outer: for (var i = 0, j = 0; i < qlen; i++) {
605 |     var nch = searchString[i];
606 |     while (j < tlen) {
607 |       var targetChar = haystack[j++];
608 |       if (targetChar === nch) {
609 |         finding = true;
610 |         continue outer;
611 |       }
612 |       if (finding) {
613 |         chunks++;
614 |         finding = false;
615 |       }
616 |     }
617 | 
618 |     if (caseInsensitive) { return false; }
619 | 
620 |     return fuzzysearch(searchString.toLowerCase(), haystack.toLowerCase(), true);
621 |   }
622 | 
623 |   return { caseMatch: !caseInsensitive, chunks: chunks, prefix: j <= qlen };
624 | }
625 | 
626 | var Toolbox = {
627 |   init: function () {
628 |     this.$container = document.createElement('div');
629 |     this.$container.classList.add('toolbox');
630 |     this.$permalink = document.createElement('a');
631 |     this.$permalink.textContent = 'Permalink';
632 |     this.$pinLink = document.createElement('a');
633 |     this.$pinLink.textContent = 'Pin';
634 |     this.$pinLink.setAttribute('href', '#');
635 |     this.$pinLink.addEventListener('click', function (e) {
636 |       e.preventDefault();
637 |       e.stopPropagation();
638 |       menu.togglePinEntry(this.entry.id);
639 |     }.bind(this));
640 | 
641 |     this.$refsLink = document.createElement('a');
642 |     this.$refsLink.setAttribute('href', '#');
643 |     this.$refsLink.addEventListener('click', function (e) {
644 |       e.preventDefault();
645 |       e.stopPropagation();
646 |       referencePane.showReferencesFor(this.entry);
647 |     }.bind(this));
648 |     this.$container.appendChild(this.$permalink);
649 |     this.$container.appendChild(this.$pinLink);
650 |     this.$container.appendChild(this.$refsLink);
651 |     document.body.appendChild(this.$container);
652 |   },
653 | 
654 |   activate: function (el, entry, target) {
655 |     if (el === this._activeEl) return;
656 |     this.active = true;
657 |     this.entry = entry;
658 |     this.$container.classList.add('active');
659 |     this.top = el.offsetTop - this.$container.offsetHeight - 10;
660 |     this.left = el.offsetLeft;
661 |     this.$container.setAttribute('style', 'left: ' + this.left + 'px; top: ' + this.top + 'px');
662 |     this.updatePermalink();
663 |     this.updateReferences();
664 |     this._activeEl = el;
665 |     if (this.top < document.body.scrollTop && el === target) {
666 |       // don't scroll unless it's a small thing (< 200px)
667 |       this.$container.scrollIntoView();
668 |     }
669 |   },
670 | 
671 |   updatePermalink: function () {
672 |     this.$permalink.setAttribute('href', '#' + this.entry.id);
673 |   },
674 | 
675 |   updateReferences: function () {
676 |     this.$refsLink.textContent = 'References (' + this.entry.referencingIds.length + ')';
677 |   },
678 | 
679 |   activateIfMouseOver: function (e) {
680 |     var ref = this.findReferenceUnder(e.target);
681 |     if (ref && (!this.active || e.pageY > this._activeEl.offsetTop)) {
682 |       var entry = menu.search.biblio.byId[ref.id];
683 |       this.activate(ref.element, entry, e.target);
684 |     } else if (this.active && ((e.pageY < this.top) || e.pageY > (this._activeEl.offsetTop + this._activeEl.offsetHeight))) {
685 |       this.deactivate();
686 |     }
687 |   },
688 | 
689 |   findReferenceUnder: function (el) {
690 |     while (el) {
691 |       var parent = el.parentNode;
692 |       if (el.nodeName === 'H1' && parent.nodeName.match(/EMU-CLAUSE|EMU-ANNEX|EMU-INTRO/) && parent.id) {
693 |         return { element: el, id: parent.id };
694 |       } else if (el.nodeName.match(/EMU-(?!CLAUSE|XREF|ANNEX|INTRO)|DFN/) &&
695 |                 el.id && el.id[0] !== '_') {
696 |         if (el.nodeName === 'EMU-FIGURE' || el.nodeName === 'EMU-TABLE' || el.nodeName === 'EMU-EXAMPLE') {
697 |           // return the figcaption element
698 |           return { element: el.children[0].children[0], id: el.id };
699 |         } else if (el.nodeName === 'EMU-PRODUCTION') {
700 |           // return the LHS non-terminal element
701 |           return { element: el.children[0], id: el.id };
702 |         } else {
703 |           return { element: el, id: el.id };
704 |         }
705 |       }
706 |       el = parent;
707 |     }
708 |   },
709 | 
710 |   deactivate: function () {
711 |     this.$container.classList.remove('active');
712 |     this._activeEl = null;
713 |     this.activeElBounds = null;
714 |     this.active = false;
715 |   }
716 | }
717 | 
718 | var referencePane = {
719 |   init: function() {
720 |     this.$container = document.createElement('div');
721 |     this.$container.setAttribute('id', 'references-pane-container');
722 | 
723 |     var $spacer = document.createElement('div');
724 |     $spacer.setAttribute('id', 'references-pane-spacer');
725 | 
726 |     this.$pane = document.createElement('div');
727 |     this.$pane.setAttribute('id', 'references-pane');
728 | 
729 |     this.$container.appendChild($spacer);
730 |     this.$container.appendChild(this.$pane);
731 | 
732 |     this.$header = document.createElement('div');
733 |     this.$header.classList.add('menu-pane-header');
734 |     this.$header.textContent = 'References to ';
735 |     this.$headerRefId = document.createElement('a');
736 |     this.$header.appendChild(this.$headerRefId);
737 |     this.$closeButton = document.createElement('span');
738 |     this.$closeButton.setAttribute('id', 'references-pane-close');
739 |     this.$closeButton.addEventListener('click', function (e) {
740 |       this.deactivate();
741 |     }.bind(this));
742 |     this.$header.appendChild(this.$closeButton);
743 | 
744 |     this.$pane.appendChild(this.$header);
745 |     var tableContainer = document.createElement('div');
746 |     tableContainer.setAttribute('id', 'references-pane-table-container');
747 | 
748 |     this.$table = document.createElement('table');
749 |     this.$table.setAttribute('id', 'references-pane-table');
750 | 
751 |     this.$tableBody = this.$table.createTBody();
752 | 
753 |     tableContainer.appendChild(this.$table);
754 |     this.$pane.appendChild(tableContainer);
755 | 
756 |     menu.$specContainer.appendChild(this.$container);
757 |   },
758 | 
759 |   activate: function () {
760 |     this.$container.classList.add('active');
761 |   },
762 | 
763 |   deactivate: function () {
764 |     this.$container.classList.remove('active');
765 |   },
766 | 
767 |   showReferencesFor(entry) {
768 |     this.activate();
769 |     var newBody = document.createElement('tbody');
770 |     var previousId;
771 |     var previousCell;
772 |     var dupCount = 0;
773 |     this.$headerRefId.textContent = '#' + entry.id;
774 |     this.$headerRefId.setAttribute('href', '#' + entry.id);
775 |     entry.referencingIds.map(function (id) {
776 |       var target = document.getElementById(id);
777 |       var cid = findParentClauseId(target);
778 |       var clause = menu.search.biblio.byId[cid];
779 |       return { id: id, clause: clause }
780 |     }).sort(function (a, b) {
781 |       return sortByClauseNumber(a.clause, b.clause);
782 |     }).forEach(function (record, i) {
783 |       if (previousId === record.clause.id) {
784 |         previousCell.innerHTML += ' (<a href="#' + record.id + '">' + (dupCount + 2) + '</a>)';
785 |         dupCount++;
786 |       } else {
787 |         var row = newBody.insertRow();
788 |         var cell = row.insertCell();
789 |         cell.innerHTML = record.clause.number;
790 |         cell = row.insertCell();
791 |         cell.innerHTML = '<a href="#' + record.id + '">' + record.clause.titleHTML + '</a>';
792 |         previousCell = cell;
793 |         previousId = record.clause.id;
794 |         dupCount = 0;
795 |       }
796 |     }, this);
797 |     this.$table.removeChild(this.$tableBody);
798 |     this.$tableBody = newBody;
799 |     this.$table.appendChild(this.$tableBody);
800 |   }
801 | }
802 | function findParentClauseId(node) {
803 |   while (node && node.nodeName !== 'EMU-CLAUSE' && node.nodeName !== 'EMU-INTRO' && node.nodeName !== 'EMU-ANNEX') {
804 |     node = node.parentNode;
805 |   }
806 |   if (!node) return null;
807 |   return node.getAttribute('id');
808 | }
809 | 
810 | function sortByClauseNumber(c1, c2) {
811 |   var c1c = c1.number.split('.');
812 |   var c2c = c2.number.split('.');
813 | 
814 |   for (var i = 0; i < c1c.length; i++) {
815 |     if (i >= c2c.length) {
816 |       return 1;
817 |     }
818 | 
819 |     var c1 = c1c[i];
820 |     var c2 = c2c[i];
821 |     var c1cn = Number(c1);
822 |     var c2cn = Number(c2);
823 | 
824 |     if (Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
825 |       if (c1 > c2) {
826 |         return 1;
827 |       } else if (c1 < c2) {
828 |         return -1;
829 |       }
830 |     } else if (!Number.isNaN(c1cn) && Number.isNaN(c2cn)) {
831 |       return -1;
832 |     } else if (Number.isNaN(c1cn) && !Number.isNaN(c2cn)) {
833 |       return 1;
834 |     } else if(c1cn > c2cn) {
835 |       return 1;
836 |     } else if (c1cn < c2cn) {
837 |       return -1;
838 |     }
839 |   }
840 | 
841 |   if (c1c.length === c2c.length) {
842 |     return 0;
843 |   }
844 |   return -1;
845 | }
846 | 
847 | document.addEventListener('DOMContentLoaded', function () {
848 |   Toolbox.init();
849 |   referencePane.init();
850 | })
851 | var CLAUSE_NODES = ['EMU-CLAUSE', 'EMU-INTRO', 'EMU-ANNEX'];
852 | function findLocalReferences ($elem) {
853 |   var name = $elem.innerHTML;
854 |   var references = [];
855 | 
856 |   var parentClause = $elem.parentNode;
857 |   while (parentClause && CLAUSE_NODES.indexOf(parentClause.nodeName) === -1) {
858 |     parentClause = parentClause.parentNode;
859 |   }
860 | 
861 |   if(!parentClause) return;
862 | 
863 |   var vars = parentClause.querySelectorAll('var');
864 | 
865 |   for (var i = 0; i < vars.length; i++) {
866 |     var $var = vars[i];
867 | 
868 |     if ($var.innerHTML === name) {
869 |       references.push($var);
870 |     }
871 |   }
872 | 
873 |   return references;
874 | }
875 | 
876 | function toggleFindLocalReferences($elem) {
877 |   var references = findLocalReferences($elem);
878 |   if ($elem.classList.contains('referenced')) {
879 |     references.forEach(function ($reference) {
880 |       $reference.classList.remove('referenced');
881 |     });
882 |   } else {
883 |     references.forEach(function ($reference) {
884 |       $reference.classList.add('referenced');
885 |     });
886 |   }
887 | }
888 | 
889 | function installFindLocalReferences () {
890 |   document.addEventListener('click', function (e) {
891 |     if (e.target.nodeName === 'VAR') {
892 |       toggleFindLocalReferences(e.target);
893 |     }
894 |   });
895 | }
896 | 
897 | document.addEventListener('DOMContentLoaded', installFindLocalReferences);
898 | 


--------------------------------------------------------------------------------
/docs/index.html:
--------------------------------------------------------------------------------
  1 | <!doctype html>
  2 | <head><meta charset="utf-8">
  3 | <title>Numeric separators</title><script type="application/json" id="menu-search-biblio">[{"type":"production","id":"prod-NumericLiteralSeparator","name":"NumericLiteralSeparator","referencingIds":["_ref_17","_ref_34","_ref_38","_ref_49","_ref_55","_ref_61","_ref_84","_ref_95","_ref_100","_ref_105","_ref_120","_ref_128","_ref_148","_ref_163","_ref_178","_ref_197","_ref_386"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"NumericLiteralSeparator"},{"type":"production","id":"prod-NumericLiteral","name":"NumericLiteral","referencingIds":["_ref_63","_ref_65"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"NumericLiteral"},{"type":"production","id":"prod-DecimalBigIntegerLiteral","name":"DecimalBigIntegerLiteral","referencingIds":["_ref_8"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"DecimalBigIntegerLiteral"},{"type":"production","id":"prod-NonDecimalIntegerLiteral","name":"NonDecimalIntegerLiteral","referencingIds":["_ref_9","_ref_10","_ref_211"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"NonDecimalIntegerLiteral"},{"type":"production","id":"prod-BigIntLiteralSuffix","name":"BigIntLiteralSuffix","referencingIds":["_ref_11","_ref_12","_ref_15","_ref_19","_ref_192","_ref_195","_ref_199"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"BigIntLiteralSuffix"},{"type":"production","id":"prod-DecimalLiteral","name":"DecimalLiteral","referencingIds":["_ref_7","_ref_69","_ref_70","_ref_374"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"DecimalLiteral"},{"type":"production","id":"prod-DecimalIntegerLiteral","name":"DecimalIntegerLiteral","referencingIds":["_ref_23","_ref_28","_ref_67","_ref_77","_ref_78","_ref_79","_ref_81","_ref_85","_ref_87","_ref_89","_ref_92","_ref_107","_ref_108","_ref_109","_ref_111"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"DecimalIntegerLiteral"},{"type":"production","id":"prod-DecimalDigits","name":"DecimalDigits","referencingIds":["_ref_14","_ref_18","_ref_24","_ref_26","_ref_31","_ref_35","_ref_37","_ref_42","_ref_43","_ref_44","_ref_80","_ref_82","_ref_83","_ref_90","_ref_93","_ref_94","_ref_97","_ref_98","_ref_99","_ref_101","_ref_103","_ref_104","_ref_116","_ref_118","_ref_119","_ref_123","_ref_125","_ref_127","_ref_130","_ref_135","_ref_136","_ref_137","_ref_138","_ref_139","_ref_140","_ref_191","_ref_194","_ref_198","_ref_200","_ref_202","_ref_218","_ref_219","_ref_221","_ref_223","_ref_269","_ref_270","_ref_271","_ref_272","_ref_273","_ref_274","_ref_276","_ref_278","_ref_279","_ref_281","_ref_282","_ref_283","_ref_285","_ref_286","_ref_287","_ref_288","_ref_290","_ref_291","_ref_293","_ref_295","_ref_383","_ref_387"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"DecimalDigits"},{"type":"production","id":"prod-DecimalDigit","name":"DecimalDigit","referencingIds":["_ref_36","_ref_39","_ref_64","_ref_121","_ref_122","_ref_124","_ref_126","_ref_129","_ref_131","_ref_232","_ref_234","_ref_393"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"DecimalDigit"},{"type":"production","id":"prod-NonZeroDigit","name":"NonZeroDigit","referencingIds":["_ref_13","_ref_16","_ref_30","_ref_32","_ref_33","_ref_113","_ref_114","_ref_115","_ref_117","_ref_190","_ref_193","_ref_196","_ref_201","_ref_382","_ref_384","_ref_385"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"NonZeroDigit"},{"type":"production","id":"prod-ExponentPart","name":"ExponentPart","referencingIds":["_ref_25","_ref_27","_ref_29","_ref_86","_ref_88","_ref_91","_ref_96","_ref_102","_ref_106","_ref_110","_ref_112","_ref_220","_ref_222","_ref_224","_ref_275","_ref_277","_ref_280","_ref_284","_ref_289","_ref_292","_ref_294","_ref_296","_ref_365","_ref_366"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"ExponentPart"},{"type":"production","id":"prod-ExponentIndicator","name":"ExponentIndicator","referencingIds":["_ref_40","_ref_132","_ref_235","_ref_325"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"ExponentIndicator"},{"type":"production","id":"prod-SignedInteger","name":"SignedInteger","referencingIds":["_ref_41","_ref_133","_ref_134"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"SignedInteger"},{"type":"production","id":"prod-BinaryIntegerLiteral","name":"BinaryIntegerLiteral","referencingIds":["_ref_20","_ref_71","_ref_72","_ref_375"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"BinaryIntegerLiteral"},{"type":"production","id":"prod-BinaryDigits","name":"BinaryDigits","referencingIds":["_ref_45","_ref_46","_ref_48","_ref_141","_ref_142","_ref_143","_ref_144","_ref_147","_ref_150"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"BinaryDigits"},{"type":"production","id":"prod-BinaryDigit","name":"BinaryDigit","referencingIds":["_ref_47","_ref_50","_ref_145","_ref_146","_ref_149","_ref_151","_ref_242","_ref_244","_ref_338","_ref_339","_ref_341","_ref_343"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"BinaryDigit"},{"type":"production","id":"prod-OctalIntegerLiteral","name":"OctalIntegerLiteral","referencingIds":["_ref_21","_ref_73","_ref_74","_ref_376"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"OctalIntegerLiteral"},{"type":"production","id":"prod-OctalDigits","name":"OctalDigits","referencingIds":["_ref_51","_ref_52","_ref_54","_ref_152","_ref_153","_ref_154","_ref_155","_ref_158","_ref_160","_ref_162","_ref_165"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"OctalDigits"},{"type":"production","id":"prod-OctalDigit","name":"OctalDigit","referencingIds":["_ref_53","_ref_56","_ref_156","_ref_157","_ref_159","_ref_161","_ref_164","_ref_166","_ref_247","_ref_249","_ref_348","_ref_349","_ref_351","_ref_353","_ref_379","_ref_381","_ref_394","_ref_396"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"OctalDigit"},{"type":"production","id":"prod-HexIntegerLiteral","name":"HexIntegerLiteral","referencingIds":["_ref_22","_ref_75","_ref_76","_ref_377"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"HexIntegerLiteral"},{"type":"production","id":"prod-HexDigits","name":"HexDigits","referencingIds":["_ref_57","_ref_58","_ref_60","_ref_167","_ref_168","_ref_169","_ref_170","_ref_173","_ref_175","_ref_177","_ref_180","_ref_367","_ref_368","_ref_370"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"HexDigits"},{"type":"production","id":"prod-HexDigit","name":"HexDigit","referencingIds":["_ref_59","_ref_62","_ref_171","_ref_172","_ref_174","_ref_176","_ref_179","_ref_181","_ref_182","_ref_183","_ref_184","_ref_185","_ref_186","_ref_187","_ref_188","_ref_189","_ref_252","_ref_254","_ref_358","_ref_359","_ref_361","_ref_363","_ref_371","_ref_373"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"HexDigit"},{"type":"production","id":"prod-Hex4Digits","name":"Hex4Digits","referencingIds":[],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"Hex4Digits"},{"type":"clause","id":"sec-static-semantics-mv","aoid":null,"title":"Static Semantics: MV","titleHTML":"Static Semantics: MV","number":"1.1","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":["_ref_2"],"key":"Static Semantics: MV"},{"type":"clause","id":"sec-numericvalue","aoid":null,"title":"Static Semantics: NumericValue","titleHTML":"Static Semantics: NumericValue","number":"1.2","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":[],"key":"Static Semantics: NumericValue"},{"type":"clause","id":"sec-literals-numeric-literals","aoid":null,"title":"Numeric Literals","titleHTML":"Numeric Literals","number":"1","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":["_ref_1","_ref_3"],"key":"Numeric Literals"},{"type":"production","id":"prod-StringNumericLiteral","name":"StringNumericLiteral","referencingIds":["_ref_203"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StringNumericLiteral"},{"type":"production","id":"prod-StrWhiteSpace","name":"StrWhiteSpace","referencingIds":["_ref_204","_ref_205","_ref_207","_ref_209","_ref_255","_ref_256","_ref_258"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrWhiteSpace"},{"type":"production","id":"prod-StrWhiteSpaceChar","name":"StrWhiteSpaceChar","referencingIds":["_ref_208"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrWhiteSpaceChar"},{"type":"production","id":"prod-StrNumericLiteral","name":"StrNumericLiteral","referencingIds":["_ref_206","_ref_257","_ref_259"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrNumericLiteral"},{"type":"production","id":"prod-StrDecimalLiteral","name":"StrDecimalLiteral","referencingIds":["_ref_210"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrDecimalLiteral"},{"type":"production","id":"prod-StrUnsignedDecimalLiteral","name":"StrUnsignedDecimalLiteral","referencingIds":["_ref_215","_ref_216","_ref_217","_ref_266","_ref_267","_ref_268","_ref_364"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrUnsignedDecimalLiteral"},{"type":"production","id":"prod-StrDecimalDigits","name":"StrDecimalDigits","referencingIds":["_ref_225","_ref_226","_ref_228","_ref_230","_ref_233","_ref_237","_ref_238","_ref_239","_ref_297","_ref_298","_ref_299","_ref_300","_ref_301","_ref_302","_ref_304","_ref_306","_ref_307","_ref_309","_ref_310","_ref_311","_ref_313","_ref_314","_ref_315","_ref_316","_ref_318","_ref_319","_ref_321","_ref_323","_ref_328","_ref_329","_ref_330","_ref_331","_ref_332","_ref_333"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrDecimalDigits"},{"type":"production","id":"prod-StrExponentPart","name":"StrExponentPart","referencingIds":["_ref_227","_ref_229","_ref_231","_ref_303","_ref_305","_ref_308","_ref_312","_ref_317","_ref_320","_ref_322","_ref_324"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrExponentPart"},{"type":"production","id":"prod-StrSignedInteger","name":"StrSignedInteger","referencingIds":["_ref_236","_ref_326","_ref_327"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrSignedInteger"},{"type":"production","id":"prod-StrBinaryLiteral","name":"StrBinaryLiteral","referencingIds":["_ref_212","_ref_260","_ref_261"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrBinaryLiteral"},{"type":"production","id":"prod-StrBinaryDigits","name":"StrBinaryDigits","referencingIds":["_ref_240","_ref_241","_ref_243","_ref_334","_ref_335","_ref_336","_ref_337","_ref_340","_ref_342"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrBinaryDigits"},{"type":"production","id":"prod-StrOctalLiteral","name":"StrOctalLiteral","referencingIds":["_ref_213","_ref_262","_ref_263"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrOctalLiteral"},{"type":"production","id":"prod-StrOctalDigits","name":"StrOctalDigits","referencingIds":["_ref_245","_ref_246","_ref_248","_ref_344","_ref_345","_ref_346","_ref_347","_ref_350","_ref_352"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrOctalDigits"},{"type":"production","id":"prod-StrHexLiteral","name":"StrHexLiteral","referencingIds":["_ref_214","_ref_264","_ref_265"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrHexLiteral"},{"type":"production","id":"prod-StrHexDigits","name":"StrHexDigits","referencingIds":["_ref_250","_ref_251","_ref_253","_ref_354","_ref_355","_ref_356","_ref_357","_ref_360","_ref_362"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"StrHexDigits"},{"type":"clause","id":"sec-runtime-semantics-mv-s","aoid":null,"title":"Runtime Semantics: MV","titleHTML":"Runtime Semantics: MV","number":"2.1","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":[],"key":"Runtime Semantics: MV"},{"type":"clause","id":"sec-tonumber-applied-to-the-string-type","aoid":null,"title":"ToNumber Applied to the String Type","titleHTML":"ToNumber Applied to the String Type","number":"2","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":[],"key":"ToNumber Applied to the String Type"},{"type":"production","id":"prod-CodePoint","name":"CodePoint","referencingIds":[],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"CodePoint"},{"type":"production","id":"prod-CodePointDigits","name":"CodePointDigits","referencingIds":["_ref_369","_ref_372"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"CodePointDigits"},{"type":"clause","id":"sec-template-literal-lexical-components","aoid":null,"title":"Template Literal Lexical Components","titleHTML":"Template Literal Lexical Components","number":"A","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":[],"key":"Template Literal Lexical Components"},{"type":"clause","id":"sec-grammar-summary","aoid":null,"title":"Grammar Summary","titleHTML":"Grammar Summary","number":"B","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":[],"key":"Grammar Summary"},{"type":"production","id":"prod-LegacyOctalIntegerLiteral","name":"LegacyOctalIntegerLiteral","referencingIds":["_ref_66","_ref_378","_ref_380"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"LegacyOctalIntegerLiteral"},{"type":"production","id":"prod-NonOctalDecimalIntegerLiteral","name":"NonOctalDecimalIntegerLiteral","referencingIds":["_ref_68","_ref_388","_ref_392"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"NonOctalDecimalIntegerLiteral"},{"type":"production","id":"prod-LegacyOctalLikeDecimalIntegerLiteral","name":"LegacyOctalLikeDecimalIntegerLiteral","referencingIds":["_ref_390","_ref_395"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"LegacyOctalLikeDecimalIntegerLiteral"},{"type":"production","id":"prod-NonOctalDigit","name":"NonOctalDigit","referencingIds":["_ref_389","_ref_391"],"namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","key":"NonOctalDigit"},{"type":"clause","id":"sec-additional-syntax-numeric-literals","aoid":null,"title":"Numeric Literals","titleHTML":"Numeric Literals","number":"C.1.1","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":["_ref_0"],"key":"Numeric Literals"},{"type":"clause","id":"sec-additional-syntax","aoid":null,"title":"Additional Syntax","titleHTML":"Additional Syntax","number":"C.1","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":[],"key":"Additional Syntax"},{"type":"clause","id":"sec-additional-ecmascript-features-for-web-browsers","aoid":null,"title":"Additional ECMAScript Features for Web Browsers","titleHTML":"Additional ECMAScript Features for Web Browsers","number":"C","namespace":"https://github.com/tc39/proposal-numeric-separator","location":"","referencingIds":[],"key":"Additional ECMAScript Features for Web Browsers"}]</script></head><body><div id="menu-toggle">☰</div><div id="menu-spacer"></div><div id="menu"><div id="menu-search"><input type="text" id="menu-search-box" placeholder="Search..."><div id="menu-search-results" class="inactive"></div></div><div id="menu-pins"><div class="menu-pane-header">Pins</div><ul id="menu-pins-list"></ul></div><div class="menu-pane-header">Table of Contents</div><div id="menu-toc"><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-literals-numeric-literals" title="Numeric Literals"><span class="secnum">1</span> Numeric Literals</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-static-semantics-mv" title="Static Semantics: MV"><span class="secnum">1.1</span> SS: MV</a></li><li><span class="item-toggle-none"></span><a href="#sec-numericvalue" title="Static Semantics: NumericValue"><span class="secnum">1.2</span> SS: NumericValue</a></li></ol></li><li><span class="item-toggle">◢</span><a href="#sec-tonumber-applied-to-the-string-type" title="ToNumber Applied to the String Type"><span class="secnum">2</span> ToNumber Applied to the String Type</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-runtime-semantics-mv-s" title="Runtime Semantics: MV"><span class="secnum">2.1</span> RS: MV</a></li></ol></li><li><span class="item-toggle-none"></span><a href="#sec-template-literal-lexical-components" title="Template Literal Lexical Components"><span class="secnum">A</span> Template Literal Lexical Components</a></li><li><span class="item-toggle-none"></span><a href="#sec-grammar-summary" title="Grammar Summary"><span class="secnum">B</span> Grammar Summary</a></li><li><span class="item-toggle">◢</span><a href="#sec-additional-ecmascript-features-for-web-browsers" title="Additional ECMAScript Features for Web Browsers"><span class="secnum">C</span> Additional ECMAScript Features for Web Browsers</a><ol class="toc"><li><span class="item-toggle">◢</span><a href="#sec-additional-syntax" title="Additional Syntax"><span class="secnum">C.1</span> Additional Syntax</a><ol class="toc"><li><span class="item-toggle-none"></span><a href="#sec-additional-syntax-numeric-literals" title="Numeric Literals"><span class="secnum">C.1.1</span> Numeric Literals</a></li></ol></li></ol></li></ol></div></div><div id="spec-container"><h1 class="version first">Stage 3 Draft / July 9, 2020</h1><h1 class="title">Numeric separators</h1>
  4 | <script src="ecmarkup.js" defer=""></script>
  5 | <link rel="stylesheet" href="ecmarkup.css">
  6 | <style>
  7 |   hr {
  8 |     height: 0.25em;
  9 |     background: #ccc;
 10 |     border: 0;
 11 |     margin: 2em 0;
 12 |   }
 13 |   /* no strikes; strikes make it unreadable */
 14 |   del {
 15 |     text-decoration: none;
 16 |   }
 17 |   ins {
 18 |     border: 0px;
 19 |   }
 20 | </style>
 21 | 
 22 | <p>The grammar listed in <a href="https://tc39.github.io/ecma262/#sec-literals-numeric-literals" title="Numeric Literals">11.8.3</a> is modified as follows.</p>
 23 | 
 24 | <!-- es6num="11.8.3" -->
 25 | <emu-clause id="sec-literals-numeric-literals">
 26 |   <h1><span class="secnum">1</span> Numeric Literals</h1>
 27 |   <h2>Syntax</h2>
 28 |   <emu-grammar><ins><emu-production name="NumericLiteralSeparator" type="lexical" id="prod-NumericLiteralSeparator">
 29 |     <emu-nt><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="07564b94"><emu-t>_</emu-t></emu-rhs>
 30 | </emu-production></ins>
 31 | <emu-production name="NumericLiteral" type="lexical" id="prod-NumericLiteral">
 32 |     <emu-nt><a href="#prod-NumericLiteral">NumericLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="18c0356f"><emu-nt id="_ref_7"><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt></emu-rhs>
 33 |     <emu-rhs a="2727f17d"><emu-nt id="_ref_8"><a href="#prod-DecimalBigIntegerLiteral">DecimalBigIntegerLiteral</a></emu-nt></emu-rhs>
 34 |     <emu-rhs a="e867b70b"><emu-nt id="_ref_9"><a href="#prod-NonDecimalIntegerLiteral">NonDecimalIntegerLiteral</a></emu-nt></emu-rhs>
 35 |     <emu-rhs a="68def506"><emu-nt id="_ref_10"><a href="#prod-NonDecimalIntegerLiteral">NonDecimalIntegerLiteral</a></emu-nt><emu-nt id="_ref_11"><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt></emu-rhs>
 36 | </emu-production>
 37 | <emu-production name="DecimalBigIntegerLiteral" type="lexical" id="prod-DecimalBigIntegerLiteral">
 38 |     <emu-nt><a href="#prod-DecimalBigIntegerLiteral">DecimalBigIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ddee4872"><emu-t>0</emu-t><emu-nt id="_ref_12"><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt></emu-rhs>
 39 |     <emu-rhs a="27fc8843"><emu-nt id="_ref_13"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt optional="" id="_ref_14"><a href="#prod-DecimalDigits">DecimalDigits</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt id="_ref_15"><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt></emu-rhs>
 40 |     <ins><emu-rhs a="f5d4e61d"><emu-nt id="_ref_16"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt id="_ref_17"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt><emu-nt id="_ref_18"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_19"><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt></emu-rhs></ins>
 41 | </emu-production>
 42 | <emu-production name="NonDecimalIntegerLiteral" type="lexical" id="prod-NonDecimalIntegerLiteral">
 43 |     <emu-nt><a href="#prod-NonDecimalIntegerLiteral">NonDecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="d3d71ddd"><emu-nt id="_ref_20"><a href="#prod-BinaryIntegerLiteral">BinaryIntegerLiteral</a></emu-nt></emu-rhs>
 44 |     <emu-rhs a="832f57ee"><emu-nt id="_ref_21"><a href="#prod-OctalIntegerLiteral">OctalIntegerLiteral</a></emu-nt></emu-rhs>
 45 |     <emu-rhs a="1d0c4a66"><emu-nt id="_ref_22"><a href="#prod-HexIntegerLiteral">HexIntegerLiteral</a></emu-nt></emu-rhs>
 46 | </emu-production>
 47 | <emu-production name="BigIntLiteralSuffix" type="lexical" id="prod-BigIntLiteralSuffix">
 48 |     <emu-nt><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="14b11fb6"><emu-t>n</emu-t></emu-rhs>
 49 | </emu-production>
 50 | <emu-production name="DecimalLiteral" type="lexical" id="prod-DecimalLiteral">
 51 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="fb5198a6"><emu-nt id="_ref_23"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-t>.</emu-t><emu-nt optional="" id="_ref_24"><a href="#prod-DecimalDigits">DecimalDigits</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt optional="" id="_ref_25"><a href="#prod-ExponentPart">ExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
 52 |     <emu-rhs a="5cf3aa35"><emu-t>.</emu-t><emu-nt id="_ref_26"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt optional="" id="_ref_27"><a href="#prod-ExponentPart">ExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
 53 |     <emu-rhs a="13dbaf21"><emu-nt id="_ref_28"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-nt optional="" id="_ref_29"><a href="#prod-ExponentPart">ExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
 54 | </emu-production>
 55 | <emu-production name="DecimalIntegerLiteral" type="lexical" id="prod-DecimalIntegerLiteral">
 56 |     <emu-nt><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5259a431"><emu-t>0</emu-t></emu-rhs>
 57 |     <del><emu-rhs a="2353f0a3"><emu-nt id="_ref_30"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt optional="" id="_ref_31"><a href="#prod-DecimalDigits">DecimalDigits</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs></del>
 58 |     <ins><emu-rhs a="d4c393e5"><emu-nt id="_ref_32"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt></emu-rhs>
 59 |     <emu-rhs a="d4b9c1bb"><emu-nt id="_ref_33"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt optional="" id="_ref_34"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt id="_ref_35"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
 60 | </ins></emu-production>
 61 | <emu-production name="DecimalDigits" type="lexical" id="prod-DecimalDigits">
 62 |     <emu-nt><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="b3831ee0"><emu-nt id="_ref_36"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
 63 |     <emu-rhs a="25ac87f2"><emu-nt id="_ref_37"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><ins><emu-nt optional="" id="_ref_38"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins><emu-nt id="_ref_39"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
 64 | </emu-production>
 65 | <emu-production name="DecimalDigit" type="lexical" oneof="" id="prod-DecimalDigit">
 66 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-oneof>one of</emu-oneof><emu-rhs><emu-t>0</emu-t><emu-t>1</emu-t><emu-t>2</emu-t><emu-t>3</emu-t><emu-t>4</emu-t><emu-t>5</emu-t><emu-t>6</emu-t><emu-t>7</emu-t><emu-t>8</emu-t><emu-t>9</emu-t></emu-rhs>
 67 | </emu-production>
 68 | <emu-production name="NonZeroDigit" type="lexical" oneof="" id="prod-NonZeroDigit">
 69 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-oneof>one of</emu-oneof><emu-rhs><emu-t>1</emu-t><emu-t>2</emu-t><emu-t>3</emu-t><emu-t>4</emu-t><emu-t>5</emu-t><emu-t>6</emu-t><emu-t>7</emu-t><emu-t>8</emu-t><emu-t>9</emu-t></emu-rhs>
 70 | </emu-production>
 71 | <emu-production name="ExponentPart" type="lexical" id="prod-ExponentPart">
 72 |     <emu-nt><a href="#prod-ExponentPart">ExponentPart</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="7f837518"><emu-nt id="_ref_40"><a href="#prod-ExponentIndicator">ExponentIndicator</a></emu-nt><emu-nt id="_ref_41"><a href="#prod-SignedInteger">SignedInteger</a></emu-nt></emu-rhs>
 73 | </emu-production>
 74 | <emu-production name="ExponentIndicator" type="lexical" oneof="" id="prod-ExponentIndicator">
 75 |     <emu-nt><a href="#prod-ExponentIndicator">ExponentIndicator</a></emu-nt><emu-geq>::</emu-geq><emu-oneof>one of</emu-oneof><emu-rhs><emu-t>e</emu-t><emu-t>E</emu-t></emu-rhs>
 76 | </emu-production>
 77 | <emu-production name="SignedInteger" type="lexical" id="prod-SignedInteger">
 78 |     <emu-nt><a href="#prod-SignedInteger">SignedInteger</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="6d7b4e5f"><emu-nt id="_ref_42"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
 79 |     <emu-rhs a="3bd7fe57"><emu-t>+</emu-t><emu-nt id="_ref_43"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
 80 |     <emu-rhs a="58000348"><emu-t>-</emu-t><emu-nt id="_ref_44"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
 81 | </emu-production>
 82 | <emu-production name="BinaryIntegerLiteral" type="lexical" id="prod-BinaryIntegerLiteral">
 83 |     <emu-nt><a href="#prod-BinaryIntegerLiteral">BinaryIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="600d7817"><emu-t>0b</emu-t><emu-nt id="_ref_45"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt></emu-rhs>
 84 |     <emu-rhs a="7c1f17d9"><emu-t>0B</emu-t><emu-nt id="_ref_46"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt></emu-rhs>
 85 | </emu-production>
 86 | <emu-production name="BinaryDigits" type="lexical" id="prod-BinaryDigits">
 87 |     <emu-nt><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="e5f1ee23"><emu-nt id="_ref_47"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
 88 |     <emu-rhs a="76ceb5a6"><emu-nt id="_ref_48"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt><ins><emu-nt optional="" id="_ref_49"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins><emu-nt id="_ref_50"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
 89 | </emu-production>
 90 | <emu-production name="BinaryDigit" type="lexical" oneof="" id="prod-BinaryDigit">
 91 |     <emu-nt><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt><emu-geq>::</emu-geq><emu-oneof>one of</emu-oneof><emu-rhs><emu-t>0</emu-t><emu-t>1</emu-t></emu-rhs>
 92 | </emu-production>
 93 | <emu-production name="OctalIntegerLiteral" type="lexical" id="prod-OctalIntegerLiteral">
 94 |     <emu-nt><a href="#prod-OctalIntegerLiteral">OctalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="a8056cb0"><emu-t>0o</emu-t><emu-nt id="_ref_51"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt></emu-rhs>
 95 |     <emu-rhs a="3a3652fa"><emu-t>0O</emu-t><emu-nt id="_ref_52"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt></emu-rhs>
 96 | </emu-production>
 97 | <emu-production name="OctalDigits" type="lexical" id="prod-OctalDigits">
 98 |     <emu-nt><a href="#prod-OctalDigits">OctalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="99bc1d53"><emu-nt id="_ref_53"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
 99 |     <emu-rhs a="d85a4be3"><emu-nt id="_ref_54"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt><ins><emu-nt optional="" id="_ref_55"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins><emu-nt id="_ref_56"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
100 | </emu-production>
101 | <emu-production name="OctalDigit" type="lexical" oneof="" id="prod-OctalDigit">
102 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-oneof>one of</emu-oneof><emu-rhs><emu-t>0</emu-t><emu-t>1</emu-t><emu-t>2</emu-t><emu-t>3</emu-t><emu-t>4</emu-t><emu-t>5</emu-t><emu-t>6</emu-t><emu-t>7</emu-t></emu-rhs>
103 | </emu-production>
104 | <emu-production name="HexIntegerLiteral" type="lexical" id="prod-HexIntegerLiteral">
105 |     <emu-nt><a href="#prod-HexIntegerLiteral">HexIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="cf154180"><emu-t>0x</emu-t><emu-nt id="_ref_57"><a href="#prod-HexDigits">HexDigits</a></emu-nt></emu-rhs>
106 |     <emu-rhs a="9ef756f3"><emu-t>0X</emu-t><emu-nt id="_ref_58"><a href="#prod-HexDigits">HexDigits</a></emu-nt></emu-rhs>
107 | </emu-production>
108 | <emu-production name="HexDigits" type="lexical" id="prod-HexDigits">
109 |     <emu-nt><a href="#prod-HexDigits">HexDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="a0c48a71"><emu-nt id="_ref_59"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
110 |     <emu-rhs a="5a7d2641"><emu-nt id="_ref_60"><a href="#prod-HexDigits">HexDigits</a></emu-nt><ins><emu-nt optional="" id="_ref_61"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></ins><emu-nt id="_ref_62"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
111 | </emu-production>
112 | <emu-production name="HexDigit" type="lexical" oneof="" id="prod-HexDigit">
113 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-oneof>one of</emu-oneof><emu-rhs><emu-t>0</emu-t><emu-t>1</emu-t><emu-t>2</emu-t><emu-t>3</emu-t><emu-t>4</emu-t><emu-t>5</emu-t><emu-t>6</emu-t><emu-t>7</emu-t><emu-t>8</emu-t><emu-t>9</emu-t><emu-t>a</emu-t><emu-t>b</emu-t><emu-t>c</emu-t><emu-t>d</emu-t><emu-t>e</emu-t><emu-t>f</emu-t><emu-t>A</emu-t><emu-t>B</emu-t><emu-t>C</emu-t><emu-t>D</emu-t><emu-t>E</emu-t><emu-t>F</emu-t></emu-rhs>
114 | </emu-production></emu-grammar>
115 |   <p>The <emu-nt><a href="https://tc39.es/ecma262/#prod-grammar-notation-SourceCharacter">SourceCharacter</a></emu-nt> immediately following a <emu-nt id="_ref_63"><a href="#prod-NumericLiteral">NumericLiteral</a></emu-nt> must not be an <emu-nt><a href="https://tc39.es/ecma262/#prod-IdentifierStart">IdentifierStart</a></emu-nt> or <emu-nt id="_ref_64"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt>.</p>
116 |   <emu-note><span class="note">Note</span><div class="note-contents">
117 |     <p>For example: <code>3in</code> is an error and not the two input elements <code>3</code> and <code>in</code>.</p>
118 |   </div></emu-note>
119 |   <p>A conforming implementation, when processing <emu-xref href="#sec-strict-mode-code"><a href="https://tc39.es/ecma262/#sec-strict-mode-code">strict mode code</a></emu-xref>, must not extend, as described in <emu-xref href="#sec-additional-syntax-numeric-literals" id="_ref_0"><a href="#sec-additional-syntax-numeric-literals">C.1.1</a></emu-xref>, the syntax of <emu-nt id="_ref_65"><a href="#prod-NumericLiteral">NumericLiteral</a></emu-nt> to include <emu-nt id="_ref_66"><a href="#prod-LegacyOctalIntegerLiteral">LegacyOctalIntegerLiteral</a></emu-nt>, nor extend the syntax of <emu-nt id="_ref_67"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt> to include <emu-nt id="_ref_68"><a href="#prod-NonOctalDecimalIntegerLiteral">NonOctalDecimalIntegerLiteral</a></emu-nt>.</p>
120 | 
121 |   <!-- es6num="11.8.3.1" -->
122 |   <emu-clause id="sec-static-semantics-mv">
123 |     <h1><span class="secnum">1.1</span> Static Semantics: MV</h1>
124 |     <p>A numeric literal stands for a value of the Number type or the BigInt type.</p>
125 |     <ul>
126 |       <li>
127 |         <ins><emu-grammar><emu-production name="NumericLiteralSeparator" type="lexical" collapsed="" class=" inline">
128 |     <emu-nt><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="07564b94"><emu-t>_</emu-t></emu-rhs>
129 | </emu-production></emu-grammar> has no MV.</ins>
130 |       </li>
131 |       <li>
132 |         The MV of <emu-grammar><emu-production name="NumericLiteral" type="lexical" collapsed="" class=" inline">
133 |     <emu-nt><a href="#prod-NumericLiteral">NumericLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="18c0356f"><emu-nt id="_ref_69"><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt></emu-rhs>
134 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_70"><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt>.
135 |       </li>
136 |       <li>
137 |         The MV of <emu-grammar><emu-production name="NonDecimalIntegerLiteral" type="lexical" collapsed="" class=" inline">
138 |     <emu-nt><a href="#prod-NonDecimalIntegerLiteral">NonDecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="d3d71ddd"><emu-nt id="_ref_71"><a href="#prod-BinaryIntegerLiteral">BinaryIntegerLiteral</a></emu-nt></emu-rhs>
139 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_72"><a href="#prod-BinaryIntegerLiteral">BinaryIntegerLiteral</a></emu-nt>.
140 |       </li>
141 |       <li>
142 |         The MV of <emu-grammar><emu-production name="NonDecimalIntegerLiteral" type="lexical" collapsed="" class=" inline">
143 |     <emu-nt><a href="#prod-NonDecimalIntegerLiteral">NonDecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="832f57ee"><emu-nt id="_ref_73"><a href="#prod-OctalIntegerLiteral">OctalIntegerLiteral</a></emu-nt></emu-rhs>
144 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_74"><a href="#prod-OctalIntegerLiteral">OctalIntegerLiteral</a></emu-nt>.
145 |       </li>
146 |       <li>
147 |         The MV of <emu-grammar><emu-production name="NonDecimalIntegerLiteral" type="lexical" collapsed="" class=" inline">
148 |     <emu-nt><a href="#prod-NonDecimalIntegerLiteral">NonDecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="1d0c4a66"><emu-nt id="_ref_75"><a href="#prod-HexIntegerLiteral">HexIntegerLiteral</a></emu-nt></emu-rhs>
149 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_76"><a href="#prod-HexIntegerLiteral">HexIntegerLiteral</a></emu-nt>.
150 |       </li>
151 |       <li>
152 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
153 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="bf0728f3"><emu-nt id="_ref_77"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-t>.</emu-t></emu-rhs>
154 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_78"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt>.
155 |       </li>
156 |       <li>
157 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
158 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="8af49841"><emu-nt id="_ref_79"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_80"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
159 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_81"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt> plus (the MV of <emu-nt id="_ref_82"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> × 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>), where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in <emu-nt id="_ref_83"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><ins>, excluding all occurrences of <emu-nt id="_ref_84"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins>.
160 |       </li>
161 |       <li>
162 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
163 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="971b5362"><emu-nt id="_ref_85"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_86"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
164 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_87"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt> × 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>e</var> is the MV of <emu-nt id="_ref_88"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
165 |       </li>
166 |       <li>
167 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
168 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ef115d8a"><emu-nt id="_ref_89"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_90"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_91"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
169 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_92"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt> plus (the MV of <emu-nt id="_ref_93"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> × 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>)) × 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical integer"><a href="https://tc39.es/ecma262/#mathematical integer">mathematical integer</a></emu-xref> number of code points in <emu-nt id="_ref_94"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><ins>, excluding all occurrences of <emu-nt id="_ref_95"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins>, and <var>e</var> is the MV of <emu-nt id="_ref_96"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
170 |       </li>
171 |       <li>
172 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
173 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="c1f33372"><emu-t>.</emu-t><emu-nt id="_ref_97"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
174 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_98"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> × 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical integer"><a href="https://tc39.es/ecma262/#mathematical integer">mathematical integer</a></emu-xref> number of code points in <emu-nt id="_ref_99"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><ins>, excluding all occurrences of <emu-nt id="_ref_100"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins>.
175 |       </li>
176 |       <li>
177 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
178 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0cd5f3c3"><emu-t>.</emu-t><emu-nt id="_ref_101"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_102"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
179 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_103"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> × 10<sub>ℝ</sub><sup><var>e</var> -<sub>ℝ</sub> <var>n</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical integer"><a href="https://tc39.es/ecma262/#mathematical integer">mathematical integer</a></emu-xref> number of code points in <emu-nt id="_ref_104"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><ins>, excluding all occurrences of <emu-nt id="_ref_105"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins>, and <var>e</var> is the MV of <emu-nt id="_ref_106"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
180 |       </li>
181 |       <li>
182 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
183 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="b404bcda"><emu-nt id="_ref_107"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt></emu-rhs>
184 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_108"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt>.
185 |       </li>
186 |       <li>
187 |         The MV of <emu-grammar><emu-production name="DecimalLiteral" type="lexical" collapsed="" class=" inline">
188 |     <emu-nt><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="6d1f87c1"><emu-nt id="_ref_109"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-nt id="_ref_110"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
189 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_111"><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt> × 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>e</var> is the MV of <emu-nt id="_ref_112"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
190 |       </li>
191 |       <li>
192 |         The MV of <emu-grammar><emu-production name="DecimalIntegerLiteral" type="lexical" collapsed="" class=" inline">
193 |     <emu-nt><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5259a431"><emu-t>0</emu-t></emu-rhs>
194 | </emu-production></emu-grammar> is 0<sub>ℝ</sub>.
195 |       </li>
196 |       <li>
197 |         The MV of <emu-grammar><emu-production name="DecimalIntegerLiteral" type="lexical" collapsed="" class=" inline">
198 |     <emu-nt><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="d4c393e5"><emu-nt id="_ref_113"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt></emu-rhs>
199 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_114"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt>.
200 |       </li>
201 |       <li>
202 |         The MV of <emu-grammar><emu-production name="DecimalIntegerLiteral" type="lexical" collapsed="" class=" inline">
203 |     <emu-nt><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="3f4b150f"><emu-nt id="_ref_115"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt id="_ref_116"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
204 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_117"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt> × 10<sub>ℝ</sub><sup><var>n</var></sup>) plus the MV of <emu-nt id="_ref_118"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>, where <var>n</var> is the <emu-xref href="#mathematical integer"><a href="https://tc39.es/ecma262/#mathematical integer">mathematical integer</a></emu-xref> number of code points in <emu-nt id="_ref_119"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><ins>, excluding all occurrences of <emu-nt id="_ref_120"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins>.
205 |       </li>
206 |       <li>
207 |         The MV of <emu-grammar><emu-production name="DecimalDigits" type="lexical" collapsed="" class=" inline">
208 |     <emu-nt><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="b3831ee0"><emu-nt id="_ref_121"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
209 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_122"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt>.
210 |       </li>
211 |       <li>
212 |         The MV of <emu-grammar><emu-production name="DecimalDigits" type="lexical" collapsed="" class=" inline">
213 |     <emu-nt><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="9f250657"><emu-nt id="_ref_123"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_124"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
214 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_125"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> × 10<sub>ℝ</sub>) plus the MV of <emu-nt id="_ref_126"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt>.
215 |       </li>
216 |       <li>
217 |         <ins>The MV of <emu-grammar><emu-production name="DecimalDigits" type="lexical" collapsed="" class=" inline">
218 |     <emu-nt><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="a082dc5c"><emu-nt id="_ref_127"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_128"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt><emu-nt id="_ref_129"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
219 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_130"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> × 10<sub>ℝ</sub>) plus the MV of <emu-nt id="_ref_131"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt>.</ins>
220 |       </li>
221 |       <li>
222 |         The MV of <emu-grammar><emu-production name="ExponentPart" type="lexical" collapsed="" class=" inline">
223 |     <emu-nt><a href="#prod-ExponentPart">ExponentPart</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="7f837518"><emu-nt id="_ref_132"><a href="#prod-ExponentIndicator">ExponentIndicator</a></emu-nt><emu-nt id="_ref_133"><a href="#prod-SignedInteger">SignedInteger</a></emu-nt></emu-rhs>
224 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_134"><a href="#prod-SignedInteger">SignedInteger</a></emu-nt>.
225 |       </li>
226 |       <li>
227 |         The MV of <emu-grammar><emu-production name="SignedInteger" type="lexical" collapsed="" class=" inline">
228 |     <emu-nt><a href="#prod-SignedInteger">SignedInteger</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="6d7b4e5f"><emu-nt id="_ref_135"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
229 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_136"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>.
230 |       </li>
231 |       <li>
232 |         The MV of <emu-grammar><emu-production name="SignedInteger" type="lexical" collapsed="" class=" inline">
233 |     <emu-nt><a href="#prod-SignedInteger">SignedInteger</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="3bd7fe57"><emu-t>+</emu-t><emu-nt id="_ref_137"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
234 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_138"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>.
235 |       </li>
236 |       <li>
237 |         The MV of <emu-grammar><emu-production name="SignedInteger" type="lexical" collapsed="" class=" inline">
238 |     <emu-nt><a href="#prod-SignedInteger">SignedInteger</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="58000348"><emu-t>-</emu-t><emu-nt id="_ref_139"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
239 | </emu-production></emu-grammar> is the negative of the MV of <emu-nt id="_ref_140"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>.
240 |       </li>
241 |       <li>
242 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
243 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5259a431"><emu-t>0</emu-t></emu-rhs>
244 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
245 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5259a431"><emu-t>0</emu-t></emu-rhs>
246 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
247 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5259a431"><emu-t>0</emu-t></emu-rhs>
248 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="BinaryDigit" type="lexical" collapsed="" class=" inline">
249 |     <emu-nt><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5259a431"><emu-t>0</emu-t></emu-rhs>
250 | </emu-production></emu-grammar> is 0<sub>ℝ</sub>.
251 |       </li>
252 |       <li>
253 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
254 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="292aa5dd"><emu-t>1</emu-t></emu-rhs>
255 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
256 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="292aa5dd"><emu-t>1</emu-t></emu-rhs>
257 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
258 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="292aa5dd"><emu-t>1</emu-t></emu-rhs>
259 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
260 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="292aa5dd"><emu-t>1</emu-t></emu-rhs>
261 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="BinaryDigit" type="lexical" collapsed="" class=" inline">
262 |     <emu-nt><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="292aa5dd"><emu-t>1</emu-t></emu-rhs>
263 | </emu-production></emu-grammar> is 1<sub>ℝ</sub>.
264 |       </li>
265 |       <li>
266 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
267 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5ca73105"><emu-t>2</emu-t></emu-rhs>
268 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
269 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5ca73105"><emu-t>2</emu-t></emu-rhs>
270 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
271 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5ca73105"><emu-t>2</emu-t></emu-rhs>
272 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
273 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5ca73105"><emu-t>2</emu-t></emu-rhs>
274 | </emu-production></emu-grammar> is 2<sub>ℝ</sub>.
275 |       </li>
276 |       <li>
277 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
278 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ec6bb6b2"><emu-t>3</emu-t></emu-rhs>
279 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
280 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ec6bb6b2"><emu-t>3</emu-t></emu-rhs>
281 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
282 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ec6bb6b2"><emu-t>3</emu-t></emu-rhs>
283 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
284 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ec6bb6b2"><emu-t>3</emu-t></emu-rhs>
285 | </emu-production></emu-grammar> is 3<sub>ℝ</sub>.
286 |       </li>
287 |       <li>
288 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
289 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="58ec4a73"><emu-t>4</emu-t></emu-rhs>
290 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
291 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="58ec4a73"><emu-t>4</emu-t></emu-rhs>
292 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
293 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="58ec4a73"><emu-t>4</emu-t></emu-rhs>
294 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
295 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="58ec4a73"><emu-t>4</emu-t></emu-rhs>
296 | </emu-production></emu-grammar> is 4<sub>ℝ</sub>.
297 |       </li>
298 |       <li>
299 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
300 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="8fcdef77"><emu-t>5</emu-t></emu-rhs>
301 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
302 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="8fcdef77"><emu-t>5</emu-t></emu-rhs>
303 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
304 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="8fcdef77"><emu-t>5</emu-t></emu-rhs>
305 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
306 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="8fcdef77"><emu-t>5</emu-t></emu-rhs>
307 | </emu-production></emu-grammar> is 5<sub>ℝ</sub>.
308 |       </li>
309 |       <li>
310 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
311 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0b64877d"><emu-t>6</emu-t></emu-rhs>
312 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
313 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0b64877d"><emu-t>6</emu-t></emu-rhs>
314 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
315 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0b64877d"><emu-t>6</emu-t></emu-rhs>
316 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
317 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0b64877d"><emu-t>6</emu-t></emu-rhs>
318 | </emu-production></emu-grammar> is 6<sub>ℝ</sub>.
319 |       </li>
320 |       <li>
321 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
322 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ea5e07a4"><emu-t>7</emu-t></emu-rhs>
323 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
324 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ea5e07a4"><emu-t>7</emu-t></emu-rhs>
325 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
326 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ea5e07a4"><emu-t>7</emu-t></emu-rhs>
327 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="OctalDigit" type="lexical" collapsed="" class=" inline">
328 |     <emu-nt><a href="#prod-OctalDigit">OctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="ea5e07a4"><emu-t>7</emu-t></emu-rhs>
329 | </emu-production></emu-grammar> is 7<sub>ℝ</sub>.
330 |       </li>
331 |       <li>
332 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
333 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="7a5bd8c3"><emu-t>8</emu-t></emu-rhs>
334 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
335 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="7a5bd8c3"><emu-t>8</emu-t></emu-rhs>
336 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
337 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="7a5bd8c3"><emu-t>8</emu-t></emu-rhs>
338 | </emu-production></emu-grammar> is 8<sub>ℝ</sub>.
339 |       </li>
340 |       <li>
341 |         The MV of <emu-grammar><emu-production name="DecimalDigit" type="lexical" collapsed="" class=" inline">
342 |     <emu-nt><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="163f4308"><emu-t>9</emu-t></emu-rhs>
343 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="NonZeroDigit" type="lexical" collapsed="" class=" inline">
344 |     <emu-nt><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="163f4308"><emu-t>9</emu-t></emu-rhs>
345 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
346 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="163f4308"><emu-t>9</emu-t></emu-rhs>
347 | </emu-production></emu-grammar> is 9<sub>ℝ</sub>.
348 |       </li>
349 |       <li>
350 |         The MV of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
351 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="a61fcfde"><emu-t>a</emu-t></emu-rhs>
352 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
353 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="9d7d0fdb"><emu-t>A</emu-t></emu-rhs>
354 | </emu-production></emu-grammar> is 10<sub>ℝ</sub>.
355 |       </li>
356 |       <li>
357 |         The MV of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
358 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0185ce89"><emu-t>b</emu-t></emu-rhs>
359 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
360 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0a26d628"><emu-t>B</emu-t></emu-rhs>
361 | </emu-production></emu-grammar> is 11<sub>ℝ</sub>.
362 |       </li>
363 |       <li>
364 |         The MV of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
365 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="d594c144"><emu-t>c</emu-t></emu-rhs>
366 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
367 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5f87cc5b"><emu-t>C</emu-t></emu-rhs>
368 | </emu-production></emu-grammar> is 12<sub>ℝ</sub>.
369 |       </li>
370 |       <li>
371 |         The MV of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
372 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="f0f32729"><emu-t>d</emu-t></emu-rhs>
373 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
374 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="919b1483"><emu-t>D</emu-t></emu-rhs>
375 | </emu-production></emu-grammar> is 13<sub>ℝ</sub>.
376 |       </li>
377 |       <li>
378 |         The MV of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
379 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0d7c9fba"><emu-t>e</emu-t></emu-rhs>
380 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
381 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="b15f6792"><emu-t>E</emu-t></emu-rhs>
382 | </emu-production></emu-grammar> is 14<sub>ℝ</sub>.
383 |       </li>
384 |       <li>
385 |         The MV of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
386 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="4068cae7"><emu-t>f</emu-t></emu-rhs>
387 | </emu-production></emu-grammar> or of <emu-grammar><emu-production name="HexDigit" type="lexical" collapsed="" class=" inline">
388 |     <emu-nt><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0d544f70"><emu-t>F</emu-t></emu-rhs>
389 | </emu-production></emu-grammar> is 15<sub>ℝ</sub>.
390 |       </li>
391 |       <li>
392 |         The MV of <emu-grammar><emu-production name="BinaryIntegerLiteral" type="lexical" collapsed="" class=" inline">
393 |     <emu-nt><a href="#prod-BinaryIntegerLiteral">BinaryIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="600d7817"><emu-t>0b</emu-t><emu-nt id="_ref_141"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt></emu-rhs>
394 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_142"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt>.
395 |       </li>
396 |       <li>
397 |         The MV of <emu-grammar><emu-production name="BinaryIntegerLiteral" type="lexical" collapsed="" class=" inline">
398 |     <emu-nt><a href="#prod-BinaryIntegerLiteral">BinaryIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="7c1f17d9"><emu-t>0B</emu-t><emu-nt id="_ref_143"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt></emu-rhs>
399 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_144"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt>.
400 |       </li>
401 |       <li>
402 |         The MV of <emu-grammar><emu-production name="BinaryDigits" type="lexical" collapsed="" class=" inline">
403 |     <emu-nt><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="e5f1ee23"><emu-nt id="_ref_145"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
404 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_146"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt>.
405 |       </li>
406 |       <li>
407 |         The MV of <emu-grammar><emu-production name="BinaryDigits" type="lexical" collapsed="" class=" inline">
408 |     <emu-nt><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="81309abc"><emu-nt id="_ref_147"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt><ins><emu-nt id="_ref_148"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins><emu-nt id="_ref_149"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
409 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_150"><a href="#prod-BinaryDigits">BinaryDigits</a></emu-nt> × 2<sub>ℝ</sub>) plus the MV of <emu-nt id="_ref_151"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt>.
410 |       </li>
411 |       <li>
412 |         The MV of <emu-grammar><emu-production name="OctalIntegerLiteral" type="lexical" collapsed="" class=" inline">
413 |     <emu-nt><a href="#prod-OctalIntegerLiteral">OctalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="a8056cb0"><emu-t>0o</emu-t><emu-nt id="_ref_152"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt></emu-rhs>
414 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_153"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt>.
415 |       </li>
416 |       <li>
417 |         The MV of <emu-grammar><emu-production name="OctalIntegerLiteral" type="lexical" collapsed="" class=" inline">
418 |     <emu-nt><a href="#prod-OctalIntegerLiteral">OctalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="3a3652fa"><emu-t>0O</emu-t><emu-nt id="_ref_154"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt></emu-rhs>
419 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_155"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt>.
420 |       </li>
421 |       <li>
422 |         The MV of <emu-grammar><emu-production name="OctalDigits" type="lexical" collapsed="" class=" inline">
423 |     <emu-nt><a href="#prod-OctalDigits">OctalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="99bc1d53"><emu-nt id="_ref_156"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
424 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_157"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt>.
425 |       </li>
426 |       <li>
427 |         The MV of <emu-grammar><emu-production name="OctalDigits" type="lexical" collapsed="" class=" inline">
428 |     <emu-nt><a href="#prod-OctalDigits">OctalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="37a295fe"><emu-nt id="_ref_158"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt><emu-nt id="_ref_159"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
429 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_160"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt> × 8<sub>ℝ</sub>) plus the MV of <emu-nt id="_ref_161"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt>.
430 |       </li>
431 |       <li>
432 |         The MV of <emu-grammar><emu-production name="OctalDigits" type="lexical" collapsed="" class=" inline">
433 |     <emu-nt><a href="#prod-OctalDigits">OctalDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="b56aaf69"><emu-nt id="_ref_162"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt><ins><emu-nt id="_ref_163"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins><emu-nt id="_ref_164"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
434 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_165"><a href="#prod-OctalDigits">OctalDigits</a></emu-nt> × 8<sub>ℝ</sub>) plus the MV of <emu-nt id="_ref_166"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt>.
435 |       </li>
436 |       <li>
437 |         The MV of <emu-grammar><emu-production name="HexIntegerLiteral" type="lexical" collapsed="" class=" inline">
438 |     <emu-nt><a href="#prod-HexIntegerLiteral">HexIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="cf154180"><emu-t>0x</emu-t><emu-nt id="_ref_167"><a href="#prod-HexDigits">HexDigits</a></emu-nt></emu-rhs>
439 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_168"><a href="#prod-HexDigits">HexDigits</a></emu-nt>.
440 |       </li>
441 |       <li>
442 |         The MV of <emu-grammar><emu-production name="HexIntegerLiteral" type="lexical" collapsed="" class=" inline">
443 |     <emu-nt><a href="#prod-HexIntegerLiteral">HexIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="9ef756f3"><emu-t>0X</emu-t><emu-nt id="_ref_169"><a href="#prod-HexDigits">HexDigits</a></emu-nt></emu-rhs>
444 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_170"><a href="#prod-HexDigits">HexDigits</a></emu-nt>.
445 |       </li>
446 |       <li>
447 |         The MV of <emu-grammar><emu-production name="HexDigits" type="lexical" collapsed="" class=" inline">
448 |     <emu-nt><a href="#prod-HexDigits">HexDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="a0c48a71"><emu-nt id="_ref_171"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
449 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_172"><a href="#prod-HexDigit">HexDigit</a></emu-nt>.
450 |       </li>
451 |       <li>
452 |         The MV of <emu-grammar><emu-production name="HexDigits" type="lexical" collapsed="" class=" inline">
453 |     <emu-nt><a href="#prod-HexDigits">HexDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="c8221899"><emu-nt id="_ref_173"><a href="#prod-HexDigits">HexDigits</a></emu-nt><emu-nt id="_ref_174"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
454 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_175"><a href="#prod-HexDigits">HexDigits</a></emu-nt> × 16<sub>ℝ</sub>) plus the MV of <emu-nt id="_ref_176"><a href="#prod-HexDigit">HexDigit</a></emu-nt>.
455 |       </li>
456 |       <li>
457 |         The MV of <emu-grammar><emu-production name="HexDigits" type="lexical" collapsed="" class=" inline">
458 |     <emu-nt><a href="#prod-HexDigits">HexDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="8196b692"><emu-nt id="_ref_177"><a href="#prod-HexDigits">HexDigits</a></emu-nt><ins><emu-nt id="_ref_178"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt></ins><emu-nt id="_ref_179"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
459 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_180"><a href="#prod-HexDigits">HexDigits</a></emu-nt> × 16<sub>ℝ</sub>) plus the MV of <emu-nt id="_ref_181"><a href="#prod-HexDigit">HexDigit</a></emu-nt>.
460 |       </li>
461 |       <li>
462 |         The MV of <emu-grammar><emu-production name="Hex4Digits" type="lexical" collapsed="" id="prod-Hex4Digits" class=" inline">
463 |     <emu-nt><a href="#prod-Hex4Digits">Hex4Digits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="0ba8de61"><emu-nt id="_ref_182"><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-nt id="_ref_183"><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-nt id="_ref_184"><a href="#prod-HexDigit">HexDigit</a></emu-nt><emu-nt id="_ref_185"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
464 | </emu-production></emu-grammar> is (0x1000<sub>ℝ</sub> times the MV of the first <emu-nt id="_ref_186"><a href="#prod-HexDigit">HexDigit</a></emu-nt>) plus (0x100<sub>ℝ</sub> times the MV of the second <emu-nt id="_ref_187"><a href="#prod-HexDigit">HexDigit</a></emu-nt>) plus (0x10<sub>ℝ</sub> times the MV of the third <emu-nt id="_ref_188"><a href="#prod-HexDigit">HexDigit</a></emu-nt>) plus the MV of the fourth <emu-nt id="_ref_189"><a href="#prod-HexDigit">HexDigit</a></emu-nt>.
465 |       </li>
466 |     </ul>
467 |   </emu-clause>
468 | 
469 |   <emu-clause id="sec-numericvalue">
470 |     <h1><span class="secnum">1.2</span> Static Semantics: NumericValue</h1>
471 |     <p>...</p>
472 |     <del>
473 |     <emu-grammar><emu-production name="DecimalBigIntegerLiteral" type="lexical" collapsed="">
474 |     <emu-nt><a href="#prod-DecimalBigIntegerLiteral">DecimalBigIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="93069ccc"><emu-nt id="_ref_190"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt id="_ref_191"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_192"><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt></emu-rhs>
475 | </emu-production></emu-grammar>
476 |     </del>
477 |     <ins>
478 |     <emu-grammar><emu-production name="DecimalBigIntegerLiteral" type="lexical">
479 |     <emu-nt><a href="#prod-DecimalBigIntegerLiteral">DecimalBigIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="93069ccc"><emu-nt id="_ref_193"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt id="_ref_194"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_195"><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt></emu-rhs>
480 |     <emu-rhs a="f5d4e61d"><emu-nt id="_ref_196"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt id="_ref_197"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a></emu-nt><emu-nt id="_ref_198"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_199"><a href="#prod-BigIntLiteralSuffix">BigIntLiteralSuffix</a></emu-nt></emu-rhs>
481 | </emu-production></emu-grammar>
482 |     </ins>
483 |     <emu-alg><ol><li>Let <var>n</var> be the <emu-xref href="#mathematical integer"><a href="https://tc39.es/ecma262/#mathematical integer">mathematical integer</a></emu-xref> number of code points in <emu-nt id="_ref_200"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>.</li><li>Let <var>mv</var> be (the MV of <emu-nt id="_ref_201"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt> × 10<sub>ℝ</sub><sup><var>n</var></sup>) plus the MV of <emu-nt id="_ref_202"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>.</li><li>Return the BigInt value that represents <var>mv</var>.</li></ol></emu-alg>
484 |   </emu-clause>  
485 | </emu-clause>
486 | 
487 | <!-- es6num="7.1.3.1" -->
488 | <emu-clause id="sec-tonumber-applied-to-the-string-type">
489 |   <h1><span class="secnum">2</span> ToNumber Applied to the String Type</h1>
490 |   <p><emu-xref aoid="ToNumber" id="_ref_4"><a href="https://tc39.es/ecma262/#sec-tonumber">ToNumber</a></emu-xref> applied to Strings applies the following grammar to the input String interpreted as a sequence of UTF-16 encoded code points (<emu-xref href="#sec-ecmascript-language-types-string-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-string-type">6.1.4</a></emu-xref>). If the grammar cannot interpret the String as an expansion of <emu-nt id="_ref_203"><a href="#prod-StringNumericLiteral">StringNumericLiteral</a></emu-nt>, then the result of <emu-xref aoid="ToNumber" id="_ref_5"><a href="https://tc39.es/ecma262/#sec-tonumber">ToNumber</a></emu-xref> is <emu-val>NaN</emu-val>.</p>
491 |   <emu-note><span class="note">Note</span><div class="note-contents">
492 |     <p>The terminal symbols of this grammar are all composed of characters in the Unicode Basic Multilingual Plane (BMP). Therefore, the result of <emu-xref aoid="ToNumber" id="_ref_6"><a href="https://tc39.es/ecma262/#sec-tonumber">ToNumber</a></emu-xref> will be <emu-val>NaN</emu-val> if the string contains any <emu-xref href="#leading-surrogate"><a href="https://tc39.es/ecma262/#leading-surrogate">leading surrogate</a></emu-xref> or <emu-xref href="#trailing-surrogate"><a href="https://tc39.es/ecma262/#trailing-surrogate">trailing surrogate</a></emu-xref> code units, whether paired or unpaired.</p>
493 |   </div></emu-note>
494 |   <h2>Syntax</h2>
495 | 
496 |   <emu-grammar type="definition"><emu-production name="StringNumericLiteral" type="regexp" id="prod-StringNumericLiteral">
497 |     <emu-nt><a href="#prod-StringNumericLiteral">StringNumericLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="9a4be900"><emu-nt optional="" id="_ref_204"><a href="#prod-StrWhiteSpace">StrWhiteSpace</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
498 |     <emu-rhs a="fe58c396"><emu-nt optional="" id="_ref_205"><a href="#prod-StrWhiteSpace">StrWhiteSpace</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt id="_ref_206"><a href="#prod-StrNumericLiteral">StrNumericLiteral</a></emu-nt><emu-nt optional="" id="_ref_207"><a href="#prod-StrWhiteSpace">StrWhiteSpace</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
499 | </emu-production>
500 | <emu-production name="StrWhiteSpace" type="regexp" id="prod-StrWhiteSpace">
501 |     <emu-nt><a href="#prod-StrWhiteSpace">StrWhiteSpace</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="2b0ea266"><emu-nt id="_ref_208"><a href="#prod-StrWhiteSpaceChar">StrWhiteSpaceChar</a></emu-nt><emu-nt optional="" id="_ref_209"><a href="#prod-StrWhiteSpace">StrWhiteSpace</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
502 | </emu-production>
503 | <emu-production name="StrWhiteSpaceChar" type="regexp" id="prod-StrWhiteSpaceChar">
504 |     <emu-nt><a href="#prod-StrWhiteSpaceChar">StrWhiteSpaceChar</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="1424dc49"><emu-nt><a href="https://tc39.es/ecma262/#prod-WhiteSpace">WhiteSpace</a></emu-nt></emu-rhs>
505 |     <emu-rhs a="3b331ccd"><emu-nt><a href="https://tc39.es/ecma262/#prod-LineTerminator">LineTerminator</a></emu-nt></emu-rhs>
506 | </emu-production>
507 | <emu-production name="StrNumericLiteral" type="regexp" id="prod-StrNumericLiteral">
508 |     <emu-nt><a href="#prod-StrNumericLiteral">StrNumericLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="db369ee0"><emu-nt id="_ref_210"><a href="#prod-StrDecimalLiteral">StrDecimalLiteral</a></emu-nt></emu-rhs>
509 |     <del><emu-rhs a="e867b70b"><emu-nt id="_ref_211"><a href="#prod-NonDecimalIntegerLiteral">NonDecimalIntegerLiteral</a></emu-nt></emu-rhs></del>
510 |     <ins><emu-rhs a="cf79c748"><emu-nt id="_ref_212"><a href="#prod-StrBinaryLiteral">StrBinaryLiteral</a></emu-nt></emu-rhs>
511 |     <emu-rhs a="7eca00b2"><emu-nt id="_ref_213"><a href="#prod-StrOctalLiteral">StrOctalLiteral</a></emu-nt></emu-rhs>
512 |     <emu-rhs a="cb9ded9a"><emu-nt id="_ref_214"><a href="#prod-StrHexLiteral">StrHexLiteral</a></emu-nt></emu-rhs>
513 | </ins></emu-production>
514 | <emu-production name="StrDecimalLiteral" type="regexp" id="prod-StrDecimalLiteral">
515 |     <emu-nt><a href="#prod-StrDecimalLiteral">StrDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="477fcd23"><emu-nt id="_ref_215"><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt></emu-rhs>
516 |     <emu-rhs a="a3f639a9"><emu-t>+</emu-t><emu-nt id="_ref_216"><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt></emu-rhs>
517 |     <emu-rhs a="d60f01a5"><emu-t>-</emu-t><emu-nt id="_ref_217"><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt></emu-rhs>
518 | </emu-production>
519 | <emu-production name="StrUnsignedDecimalLiteral" type="regexp" id="prod-StrUnsignedDecimalLiteral">
520 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="4afe8df8"><emu-t>Infinity</emu-t></emu-rhs>
521 |     <del><emu-rhs a="8a89062c"><emu-nt id="_ref_218"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt optional="" id="_ref_219"><a href="#prod-DecimalDigits">DecimalDigits</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt optional="" id="_ref_220"><a href="#prod-ExponentPart">ExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
522 |     <emu-rhs a="5cf3aa35"><emu-t>.</emu-t><emu-nt id="_ref_221"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt optional="" id="_ref_222"><a href="#prod-ExponentPart">ExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
523 |     <emu-rhs a="24e27af7"><emu-nt id="_ref_223"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt optional="" id="_ref_224"><a href="#prod-ExponentPart">ExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs></del>
524 |     <ins><emu-rhs a="e0024ba5"><emu-nt id="_ref_225"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt optional="" id="_ref_226"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt optional="" id="_ref_227"><a href="#prod-StrExponentPart">StrExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
525 |     <emu-rhs a="f42619a7"><emu-t>.</emu-t><emu-nt id="_ref_228"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-nt optional="" id="_ref_229"><a href="#prod-StrExponentPart">StrExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
526 |     <emu-rhs a="7b955c9a"><emu-nt id="_ref_230"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-nt optional="" id="_ref_231"><a href="#prod-StrExponentPart">StrExponentPart</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
527 | </ins></emu-production>
528 | <ins><emu-production name="StrDecimalDigits" type="regexp" id="prod-StrDecimalDigits">
529 |     <emu-nt><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="b3831ee0"><emu-nt id="_ref_232"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
530 |     <emu-rhs a="7bd076e0"><emu-nt id="_ref_233"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-nt id="_ref_234"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
531 | </emu-production>
532 | <emu-production name="StrExponentPart" type="regexp" id="prod-StrExponentPart">
533 |     <emu-nt><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="c56cbfa0"><emu-nt id="_ref_235"><a href="#prod-ExponentIndicator">ExponentIndicator</a></emu-nt><emu-nt id="_ref_236"><a href="#prod-StrSignedInteger">StrSignedInteger</a></emu-nt></emu-rhs>
534 | </emu-production>
535 | <emu-production name="StrSignedInteger" type="regexp" id="prod-StrSignedInteger">
536 |     <emu-nt><a href="#prod-StrSignedInteger">StrSignedInteger</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="ced3baa9"><emu-nt id="_ref_237"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
537 |     <emu-rhs a="acf78932"><emu-t>+</emu-t><emu-nt id="_ref_238"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
538 |     <emu-rhs a="26da0550"><emu-t>-</emu-t><emu-nt id="_ref_239"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
539 | </emu-production>
540 | <emu-production name="StrBinaryLiteral" type="regexp" id="prod-StrBinaryLiteral">
541 |     <emu-nt><a href="#prod-StrBinaryLiteral">StrBinaryLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="f37029f2"><emu-t>0b</emu-t><emu-nt id="_ref_240"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt></emu-rhs>
542 |     <emu-rhs a="8877d426"><emu-t>0B</emu-t><emu-nt id="_ref_241"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt></emu-rhs>
543 | </emu-production>
544 | <emu-production name="StrBinaryDigits" type="regexp" id="prod-StrBinaryDigits">
545 |     <emu-nt><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="e5f1ee23"><emu-nt id="_ref_242"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
546 |     <emu-rhs a="b034d5a7"><emu-nt id="_ref_243"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt><emu-nt id="_ref_244"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
547 | </emu-production>
548 | <emu-production name="StrOctalLiteral" type="regexp" id="prod-StrOctalLiteral">
549 |     <emu-nt><a href="#prod-StrOctalLiteral">StrOctalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="02f7a9af"><emu-t>0o</emu-t><emu-nt id="_ref_245"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt></emu-rhs>
550 |     <emu-rhs a="a4c9bc69"><emu-t>0O</emu-t><emu-nt id="_ref_246"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt></emu-rhs>
551 | </emu-production>
552 | <emu-production name="StrOctalDigits" type="regexp" id="prod-StrOctalDigits">
553 |     <emu-nt><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="99bc1d53"><emu-nt id="_ref_247"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
554 |     <emu-rhs a="382db1ee"><emu-nt id="_ref_248"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt><emu-nt id="_ref_249"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
555 | </emu-production>
556 | <emu-production name="StrHexLiteral" type="regexp" id="prod-StrHexLiteral">
557 |     <emu-nt><a href="#prod-StrHexLiteral">StrHexLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="5894dfa6"><emu-t>0x</emu-t><emu-nt id="_ref_250"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt></emu-rhs>
558 |     <emu-rhs a="33e863a1"><emu-t>0X</emu-t><emu-nt id="_ref_251"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt></emu-rhs>
559 | </emu-production>
560 | <emu-production name="StrHexDigits" type="regexp" id="prod-StrHexDigits">
561 |     <emu-nt><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="a0c48a71"><emu-nt id="_ref_252"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
562 |     <emu-rhs a="95a9875d"><emu-nt id="_ref_253"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt><emu-nt id="_ref_254"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
563 | </emu-production></ins></emu-grammar>
564 | 
565 |   <!-- es6num="7.1.3.1.1" -->
566 |   <emu-clause id="sec-runtime-semantics-mv-s">
567 |     <h1><span class="secnum">2.1</span> Runtime Semantics: MV</h1>
568 |     <p>The conversion of a String to a <emu-xref href="#number-value"><a href="https://tc39.es/ecma262/#number-value">Number value</a></emu-xref> is similar overall to the determination of the <emu-xref href="#number-value"><a href="https://tc39.es/ecma262/#number-value">Number value</a></emu-xref> for a numeric literal (see <emu-xref href="#sec-literals-numeric-literals" id="_ref_1"><a href="#sec-literals-numeric-literals">1</a></emu-xref>), but some of the details are different, so the process for converting a String numeric literal to a value of Number type is given here. This value is determined in two steps: first, a <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> (MV) is derived from the String numeric literal; second, this <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> is rounded as described below. The MV on any grammar symbol, not provided below, is the MV for that symbol defined in <emu-xref href="#sec-static-semantics-mv" id="_ref_2"><a href="#sec-static-semantics-mv">1.1</a></emu-xref>.</p>
569 |     <ul>
570 |       <li>
571 |         The MV of <emu-grammar><emu-production name="StringNumericLiteral" type="regexp" collapsed="" class=" inline">
572 |     <emu-nt><a href="#prod-StringNumericLiteral">StringNumericLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="37b9c04c"><emu-gann>[empty]</emu-gann></emu-rhs>
573 | </emu-production></emu-grammar> is 0<sub>ℝ</sub>.
574 |       </li>
575 |       <li>
576 |         The MV of <emu-grammar><emu-production name="StringNumericLiteral" type="regexp" collapsed="" class=" inline">
577 |     <emu-nt><a href="#prod-StringNumericLiteral">StringNumericLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="63c9217f"><emu-nt id="_ref_255"><a href="#prod-StrWhiteSpace">StrWhiteSpace</a></emu-nt></emu-rhs>
578 | </emu-production></emu-grammar> is 0<sub>ℝ</sub>.
579 |       </li>
580 |       <li>
581 |         The MV of <emu-grammar><emu-production name="StringNumericLiteral" type="regexp" collapsed="" class=" inline">
582 |     <emu-nt><a href="#prod-StringNumericLiteral">StringNumericLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="fe58c396"><emu-nt optional="" id="_ref_256"><a href="#prod-StrWhiteSpace">StrWhiteSpace</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt id="_ref_257"><a href="#prod-StrNumericLiteral">StrNumericLiteral</a></emu-nt><emu-nt optional="" id="_ref_258"><a href="#prod-StrWhiteSpace">StrWhiteSpace</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs>
583 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_259"><a href="#prod-StrNumericLiteral">StrNumericLiteral</a></emu-nt>, no matter whether white space is present or not.
584 |       </li>
585 |       <li>
586 |         <ins>
587 |         The MV of <emu-grammar><emu-production name="StrNumericLiteral" type="lexical" collapsed="" class=" inline">
588 |     <emu-nt><a href="#prod-StrNumericLiteral">StrNumericLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="cf79c748"><emu-nt id="_ref_260"><a href="#prod-StrBinaryLiteral">StrBinaryLiteral</a></emu-nt></emu-rhs>
589 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_261"><a href="#prod-StrBinaryLiteral">StrBinaryLiteral</a></emu-nt>.
590 |         </ins>
591 |       </li>
592 |       <li>
593 |         <ins>
594 |         The MV of <emu-grammar><emu-production name="StrNumericLiteral" type="lexical" collapsed="" class=" inline">
595 |     <emu-nt><a href="#prod-StrNumericLiteral">StrNumericLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="7eca00b2"><emu-nt id="_ref_262"><a href="#prod-StrOctalLiteral">StrOctalLiteral</a></emu-nt></emu-rhs>
596 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_263"><a href="#prod-StrOctalLiteral">StrOctalLiteral</a></emu-nt>.
597 |         </ins>
598 |       </li>
599 |       <li>
600 |         <ins>
601 |         The MV of <emu-grammar><emu-production name="StrNumericLiteral" type="lexical" collapsed="" class=" inline">
602 |     <emu-nt><a href="#prod-StrNumericLiteral">StrNumericLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="cb9ded9a"><emu-nt id="_ref_264"><a href="#prod-StrHexLiteral">StrHexLiteral</a></emu-nt></emu-rhs>
603 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_265"><a href="#prod-StrHexLiteral">StrHexLiteral</a></emu-nt>.
604 |         </ins>
605 |       </li>
606 |       <li>
607 |         The MV of <emu-grammar><emu-production name="StrDecimalLiteral" type="regexp" collapsed="" class=" inline">
608 |     <emu-nt><a href="#prod-StrDecimalLiteral">StrDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="d60f01a5"><emu-t>-</emu-t><emu-nt id="_ref_266"><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt></emu-rhs>
609 | </emu-production></emu-grammar> is the negative of the MV of <emu-nt id="_ref_267"><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt>. (Note that if the MV of <emu-nt id="_ref_268"><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt> is 0, the negative of this MV is also 0. The rounding rule described below handles the conversion of this signless mathematical zero to a floating-point <emu-val>+0</emu-val> or <emu-val>-0</emu-val> as appropriate.)
610 |       </li>
611 |       <li>
612 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
613 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="4afe8df8"><emu-t>Infinity</emu-t></emu-rhs>
614 | </emu-production></emu-grammar> is 10<sub>ℝ</sub><sup>10000<sub>ℝ</sub></sup> (a value so large that it will round to <emu-val>+∞</emu-val>).
615 |       </li>
616 |       <li>
617 |         <del>
618 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
619 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="4565db95"><emu-nt id="_ref_269"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_270"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
620 | </emu-production></emu-grammar> is the MV of the first <emu-nt id="_ref_271"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> plus (the MV of the second <emu-nt id="_ref_272"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>), where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in the second <emu-nt id="_ref_273"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>.
621 |         </del>
622 |       </li>
623 |       <li>
624 |         <del>
625 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
626 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="6f5fda9f"><emu-nt id="_ref_274"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_275"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
627 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_276"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>e</var> is the MV of <emu-nt id="_ref_277"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
628 |         </del>
629 |       </li>
630 |       <li>
631 |         <del>
632 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
633 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="4694f1d2"><emu-nt id="_ref_278"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_279"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_280"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
634 | </emu-production></emu-grammar> is (the MV of the first <emu-nt id="_ref_281"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> plus (the MV of the second <emu-nt id="_ref_282"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>)) times 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in the second <emu-nt id="_ref_283"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> and <var>e</var> is the MV of <emu-nt id="_ref_284"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
635 |         </del>
636 |       </li>
637 |       <li>
638 |         <del>
639 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
640 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="c1f33372"><emu-t>.</emu-t><emu-nt id="_ref_285"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs>
641 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_286"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in <emu-nt id="_ref_287"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt>.
642 |         </del>
643 |       </li>
644 |       <li>
645 |         <del>
646 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
647 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="0cd5f3c3"><emu-t>.</emu-t><emu-nt id="_ref_288"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_289"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
648 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_290"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup><var>e</var> -<sub>ℝ</sub> <var>n</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in <emu-nt id="_ref_291"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> and <var>e</var> is the MV of <emu-nt id="_ref_292"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
649 |         </del>
650 |       </li>
651 |       <li>
652 |         <del>
653 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
654 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="2e993467"><emu-nt id="_ref_293"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt><emu-nt id="_ref_294"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt></emu-rhs>
655 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_295"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>e</var> is the MV of <emu-nt id="_ref_296"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>.
656 |         </del>
657 |       </li>
658 |       <li>
659 |         <ins>
660 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
661 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="50a87d98"><emu-nt id="_ref_297"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_298"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
662 | </emu-production></emu-grammar> is the MV of the first <emu-nt id="_ref_299"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> plus (the MV of the second <emu-nt id="_ref_300"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>), where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in the second <emu-nt id="_ref_301"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt>.
663 |         </ins>
664 |       </li>
665 |       <li>
666 |         <ins>
667 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
668 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="1ee2dada"><emu-nt id="_ref_302"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_303"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt></emu-rhs>
669 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_304"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>e</var> is the MV of <emu-nt id="_ref_305"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt>.
670 |         </ins>
671 |       </li>
672 |       <li>
673 |         <ins>
674 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
675 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="c63ead11"><emu-nt id="_ref_306"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-t>.</emu-t><emu-nt id="_ref_307"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-nt id="_ref_308"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt></emu-rhs>
676 | </emu-production></emu-grammar> is (the MV of the first <emu-nt id="_ref_309"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> plus (the MV of the second <emu-nt id="_ref_310"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>)) times 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in the second <emu-nt id="_ref_311"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> and <var>e</var> is the MV of <emu-nt id="_ref_312"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt>.
677 |         </ins>
678 |       </li>
679 |       <li>
680 |         <ins>
681 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
682 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="c9ee7087"><emu-t>.</emu-t><emu-nt id="_ref_313"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
683 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_314"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub><var>n</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in <emu-nt id="_ref_315"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt>.
684 |         </ins>
685 |       </li>
686 |       <li>
687 |         <ins>
688 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
689 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="507cc3e9"><emu-t>.</emu-t><emu-nt id="_ref_316"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-nt id="_ref_317"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt></emu-rhs>
690 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_318"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup><var>e</var> -<sub>ℝ</sub> <var>n</var></sup>, where <var>n</var> is the <emu-xref href="#mathematical-value"><a href="https://tc39.es/ecma262/#mathematical-value">mathematical value</a></emu-xref> of the number of code points in <emu-nt id="_ref_319"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> and <var>e</var> is the MV of <emu-nt id="_ref_320"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt>.
691 |         </ins>
692 |       </li>
693 |       <li>
694 |         <ins>
695 |         The MV of <emu-grammar><emu-production name="StrUnsignedDecimalLiteral" type="regexp" collapsed="" class=" inline">
696 |     <emu-nt><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="e7a3870f"><emu-nt id="_ref_321"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt><emu-nt id="_ref_322"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt></emu-rhs>
697 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_323"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt> times 10<sub>ℝ</sub><sup><var>e</var></sup>, where <var>e</var> is the MV of <emu-nt id="_ref_324"><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt>.
698 |         </ins>
699 |       </li>
700 |       <li>
701 |         <ins>
702 |         The MV of <emu-grammar><emu-production name="StrExponentPart" type="regexp" collapsed="" class=" inline">
703 |     <emu-nt><a href="#prod-StrExponentPart">StrExponentPart</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="c56cbfa0"><emu-nt id="_ref_325"><a href="#prod-ExponentIndicator">ExponentIndicator</a></emu-nt><emu-nt id="_ref_326"><a href="#prod-StrSignedInteger">StrSignedInteger</a></emu-nt></emu-rhs>
704 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_327"><a href="#prod-StrSignedInteger">StrSignedInteger</a></emu-nt>.
705 |         </ins>
706 |       </li>
707 |       <li>
708 |         <ins>
709 |         The MV of <emu-grammar><emu-production name="StrSignedInteger" type="regexp" collapsed="" class=" inline">
710 |     <emu-nt><a href="#prod-StrSignedInteger">StrSignedInteger</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="ced3baa9"><emu-nt id="_ref_328"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
711 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_329"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt>.
712 |         </ins>
713 |       </li>
714 |       <li>
715 |         <ins>
716 |         The MV of <emu-grammar><emu-production name="StrSignedInteger" type="regexp" collapsed="" class=" inline">
717 |     <emu-nt><a href="#prod-StrSignedInteger">StrSignedInteger</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="acf78932"><emu-t>+</emu-t><emu-nt id="_ref_330"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
718 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_331"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt>.
719 |         </ins>
720 |       </li>
721 |       <li>
722 |         <ins>
723 |         The MV of <emu-grammar><emu-production name="StrSignedInteger" type="regexp" collapsed="" class=" inline">
724 |     <emu-nt><a href="#prod-StrSignedInteger">StrSignedInteger</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="26da0550"><emu-t>-</emu-t><emu-nt id="_ref_332"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt></emu-rhs>
725 | </emu-production></emu-grammar> is the negative of the MV of <emu-nt id="_ref_333"><a href="#prod-StrDecimalDigits">StrDecimalDigits</a></emu-nt>.
726 |         </ins>
727 |       </li>
728 |       <li>
729 |         <ins>
730 |         The MV of <emu-grammar><emu-production name="StrBinaryLiteral" type="regexp" collapsed="" class=" inline">
731 |     <emu-nt><a href="#prod-StrBinaryLiteral">StrBinaryLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="f37029f2"><emu-t>0b</emu-t><emu-nt id="_ref_334"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt></emu-rhs>
732 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_335"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt>.
733 |         </ins>
734 |       </li>
735 |       <li>
736 |         <ins>
737 |         The MV of <emu-grammar><emu-production name="StrBinaryLiteral" type="regexp" collapsed="" class=" inline">
738 |     <emu-nt><a href="#prod-StrBinaryLiteral">StrBinaryLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="8877d426"><emu-t>0B</emu-t><emu-nt id="_ref_336"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt></emu-rhs>
739 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_337"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt>.
740 |         </ins>
741 |       </li>
742 |       <li>
743 |         <ins>
744 |         The MV of <emu-grammar><emu-production name="StrBinaryDigits" type="regexp" collapsed="" class=" inline">
745 |     <emu-nt><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="e5f1ee23"><emu-nt id="_ref_338"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
746 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_339"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt>.
747 |         </ins>
748 |       </li>
749 |       <li>
750 |         <ins>
751 |         The MV of <emu-grammar><emu-production name="StrBinaryDigits" type="regexp" collapsed="" class=" inline">
752 |     <emu-nt><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="b034d5a7"><emu-nt id="_ref_340"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt><emu-nt id="_ref_341"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt></emu-rhs>
753 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_342"><a href="#prod-StrBinaryDigits">StrBinaryDigits</a></emu-nt> × 2) plus the MV of <emu-nt id="_ref_343"><a href="#prod-BinaryDigit">BinaryDigit</a></emu-nt>.
754 |         </ins>
755 |       </li>
756 |       <li>
757 |         <ins>
758 |         The MV of <emu-grammar><emu-production name="StrOctalLiteral" type="regexp" collapsed="" class=" inline">
759 |     <emu-nt><a href="#prod-StrOctalLiteral">StrOctalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="02f7a9af"><emu-t>0o</emu-t><emu-nt id="_ref_344"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt></emu-rhs>
760 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_345"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt>.
761 |         </ins>
762 |       </li>
763 |       <li>
764 |         <ins>
765 |         The MV of <emu-grammar><emu-production name="StrOctalLiteral" type="regexp" collapsed="" class=" inline">
766 |     <emu-nt><a href="#prod-StrOctalLiteral">StrOctalLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="a4c9bc69"><emu-t>0O</emu-t><emu-nt id="_ref_346"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt></emu-rhs>
767 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_347"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt>.
768 |         </ins>
769 |       </li>
770 |       <li>
771 |         <ins>
772 |         The MV of <emu-grammar><emu-production name="StrOctalDigits" type="regexp" collapsed="" class=" inline">
773 |     <emu-nt><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="99bc1d53"><emu-nt id="_ref_348"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
774 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_349"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt>.
775 |         </ins>
776 |       </li>
777 |       <li>
778 |         <ins>
779 |         The MV of <emu-grammar><emu-production name="StrOctalDigits" type="regexp" collapsed="" class=" inline">
780 |     <emu-nt><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="382db1ee"><emu-nt id="_ref_350"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt><emu-nt id="_ref_351"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
781 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_352"><a href="#prod-StrOctalDigits">StrOctalDigits</a></emu-nt> × 8) plus the MV of <emu-nt id="_ref_353"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt>.
782 |         </ins>
783 |       </li>
784 |       <li>
785 |         <ins>
786 |         The MV of <emu-grammar><emu-production name="StrHexLiteral" type="regexp" collapsed="" class=" inline">
787 |     <emu-nt><a href="#prod-StrHexLiteral">StrHexLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="5894dfa6"><emu-t>0x</emu-t><emu-nt id="_ref_354"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt></emu-rhs>
788 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_355"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt>.
789 |         </ins>
790 |       </li>
791 |       <li>
792 |         <ins>
793 |         The MV of <emu-grammar><emu-production name="StrHexLiteral" type="regexp" collapsed="" class=" inline">
794 |     <emu-nt><a href="#prod-StrHexLiteral">StrHexLiteral</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="33e863a1"><emu-t>0X</emu-t><emu-nt id="_ref_356"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt></emu-rhs>
795 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_357"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt>.
796 |         </ins>
797 |       </li>
798 |       <li>
799 |         <ins>
800 |         The MV of <emu-grammar><emu-production name="StrHexDigits" type="regexp" collapsed="" class=" inline">
801 |     <emu-nt><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="a0c48a71"><emu-nt id="_ref_358"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
802 | </emu-production></emu-grammar> is the MV of <emu-nt id="_ref_359"><a href="#prod-HexDigit">HexDigit</a></emu-nt>.
803 |         </ins>
804 |       </li>
805 |       <li>
806 |         <ins>
807 |         The MV of <emu-grammar><emu-production name="StrHexDigits" type="regexp" collapsed="" class=" inline">
808 |     <emu-nt><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt><emu-geq>:::</emu-geq><emu-rhs a="95a9875d"><emu-nt id="_ref_360"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt><emu-nt id="_ref_361"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
809 | </emu-production></emu-grammar> is (the MV of <emu-nt id="_ref_362"><a href="#prod-StrHexDigits">StrHexDigits</a></emu-nt> × 16) plus the MV of <emu-nt id="_ref_363"><a href="#prod-HexDigit">HexDigit</a></emu-nt>.
810 |         </ins>
811 |       </li>
812 |     </ul>
813 |     <p>Once the exact MV for a String numeric literal has been determined, it is then rounded to a value of the Number type. If the MV is 0, then the rounded value is <emu-val>+0</emu-val> unless the first non white space code point in the String numeric literal is <code>-</code>, in which case the rounded value is <emu-val>-0</emu-val>. Otherwise, the rounded value must be the <emu-xref href="#number-value"><a href="https://tc39.es/ecma262/#number-value">Number value</a></emu-xref> for the MV (in the sense defined in <emu-xref href="#sec-ecmascript-language-types-number-type"><a href="https://tc39.es/ecma262/#sec-ecmascript-language-types-number-type">6.1.6.1</a></emu-xref>), unless the literal includes a <emu-nt id="_ref_364"><a href="#prod-StrUnsignedDecimalLiteral">StrUnsignedDecimalLiteral</a></emu-nt> and the literal has more than 20 significant digits, in which case the <emu-xref href="#number-value"><a href="https://tc39.es/ecma262/#number-value">Number value</a></emu-xref> may be either the <emu-xref href="#number-value"><a href="https://tc39.es/ecma262/#number-value">Number value</a></emu-xref> for the MV of a literal produced by replacing each significant digit after the 20th with a 0 digit or the <emu-xref href="#number-value"><a href="https://tc39.es/ecma262/#number-value">Number value</a></emu-xref> for the MV of a literal produced by replacing each significant digit after the 20th with a 0 digit and then incrementing the literal at the 20th digit position. A digit is significant if it is not part of an <emu-nt id="_ref_365"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt> and</p>
814 |     <ul>
815 |       <li>
816 |         it is not <code>0</code>; or
817 |       </li>
818 |       <li>
819 |         there is a nonzero digit to its left and there is a nonzero digit, not in the <emu-nt id="_ref_366"><a href="#prod-ExponentPart">ExponentPart</a></emu-nt>, to its right.
820 |       </li>
821 |     </ul>
822 |   </emu-clause>
823 | </emu-clause>
824 | 
825 | <emu-annex id="sec-template-literal-lexical-components">
826 |   <h1><span class="secnum">A</span> Template Literal Lexical Components</h1>
827 |   <h2>Syntax</h2>
828 |   <emu-grammar><emu-production name="CodePoint" type="lexical" id="prod-CodePoint">
829 |     <emu-nt><a href="#prod-CodePoint">CodePoint</a></emu-nt><emu-geq>::</emu-geq><del><emu-rhs a="2ed68f1d"><emu-nt id="_ref_367"><a href="#prod-HexDigits">HexDigits</a></emu-nt><emu-gmod>but only if MV of <emu-nt id="_ref_368"><a href="#prod-HexDigits">HexDigits</a></emu-nt> ≤ 0x10FFFF</emu-gmod></emu-rhs></del>
830 |     <ins><emu-rhs a="42ad3375"><emu-nt id="_ref_369"><a href="#prod-CodePointDigits">CodePointDigits</a></emu-nt><emu-gmod>but only if MV of <emu-nt id="_ref_370"><a href="#prod-HexDigits">HexDigits</a></emu-nt> ≤ 0x10FFFF</emu-gmod></emu-rhs></ins>
831 | </emu-production>
832 | <ins><emu-production name="CodePointDigits" type="lexical" id="prod-CodePointDigits">
833 |     <emu-nt><a href="#prod-CodePointDigits">CodePointDigits</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="a0c48a71"><emu-nt id="_ref_371"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
834 |     <emu-rhs a="f272876c"><emu-nt id="_ref_372"><a href="#prod-CodePointDigits">CodePointDigits</a></emu-nt><emu-nt id="_ref_373"><a href="#prod-HexDigit">HexDigit</a></emu-nt></emu-rhs>
835 | </emu-production></ins></emu-grammar>
836 | </emu-annex>
837 | 
838 | 
839 | <emu-annex id="sec-grammar-summary">
840 |   <h1><span class="secnum">B</span> Grammar Summary</h1>
841 |   <p>Placeholder for Annex A</p>
842 | </emu-annex>
843 | 
844 | <emu-annex id="sec-additional-ecmascript-features-for-web-browsers">
845 |   <h1><span class="secnum">C</span> Additional ECMAScript Features for Web Browsers</h1>
846 |   <p>...</p>
847 | 
848 |   <emu-annex id="sec-additional-syntax">
849 |     <h1><span class="secnum">C.1</span> Additional Syntax</h1>
850 |     <!-- es6num="B.1.1" -->
851 |     <emu-annex id="sec-additional-syntax-numeric-literals">
852 |       <h1><span class="secnum">C.1.1</span> Numeric Literals</h1>
853 |       <p>The syntax and semantics of <emu-xref href="#sec-literals-numeric-literals" id="_ref_3"><a href="#sec-literals-numeric-literals">1</a></emu-xref> is extended as follows except that this extension is not allowed for <emu-xref href="#sec-strict-mode-code"><a href="https://tc39.es/ecma262/#sec-strict-mode-code">strict mode code</a></emu-xref>:</p>
854 |       <h2>Syntax</h2>
855 |       <emu-grammar><emu-production name="NumericLiteral" type="lexical">
856 |     <emu-nt><a href="#prod-NumericLiteral">NumericLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="18c0356f"><emu-nt id="_ref_374"><a href="#prod-DecimalLiteral">DecimalLiteral</a></emu-nt></emu-rhs>
857 |     <emu-rhs a="d3d71ddd"><emu-nt id="_ref_375"><a href="#prod-BinaryIntegerLiteral">BinaryIntegerLiteral</a></emu-nt></emu-rhs>
858 |     <emu-rhs a="832f57ee"><emu-nt id="_ref_376"><a href="#prod-OctalIntegerLiteral">OctalIntegerLiteral</a></emu-nt></emu-rhs>
859 |     <emu-rhs a="1d0c4a66"><emu-nt id="_ref_377"><a href="#prod-HexIntegerLiteral">HexIntegerLiteral</a></emu-nt></emu-rhs>
860 |     <emu-rhs a="f0df7a1f"><emu-nt id="_ref_378"><a href="#prod-LegacyOctalIntegerLiteral">LegacyOctalIntegerLiteral</a></emu-nt></emu-rhs>
861 | </emu-production>
862 | <emu-production name="LegacyOctalIntegerLiteral" type="lexical" id="prod-LegacyOctalIntegerLiteral">
863 |     <emu-nt><a href="#prod-LegacyOctalIntegerLiteral">LegacyOctalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="46c53d12"><emu-t>0</emu-t><emu-nt id="_ref_379"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
864 |     <emu-rhs a="b57dc7cf"><emu-nt id="_ref_380"><a href="#prod-LegacyOctalIntegerLiteral">LegacyOctalIntegerLiteral</a></emu-nt><emu-nt id="_ref_381"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
865 | </emu-production>
866 | <emu-production name="DecimalIntegerLiteral" type="lexical">
867 |     <emu-nt><a href="#prod-DecimalIntegerLiteral">DecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="5259a431"><emu-t>0</emu-t></emu-rhs>
868 |     <del><emu-rhs a="2353f0a3"><emu-nt id="_ref_382"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt optional="" id="_ref_383"><a href="#prod-DecimalDigits">DecimalDigits</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt></emu-rhs></del>
869 |     <ins><emu-rhs a="d4c393e5"><emu-nt id="_ref_384"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt></emu-rhs></ins>
870 |     <ins><emu-rhs a="d4b9c1bb"><emu-nt id="_ref_385"><a href="#prod-NonZeroDigit">NonZeroDigit</a></emu-nt><emu-nt optional="" id="_ref_386"><a href="#prod-NumericLiteralSeparator">NumericLiteralSeparator</a><emu-mods><emu-opt>opt</emu-opt></emu-mods></emu-nt><emu-nt id="_ref_387"><a href="#prod-DecimalDigits">DecimalDigits</a></emu-nt></emu-rhs></ins>
871 |     <emu-rhs a="5d52a5ba"><emu-nt id="_ref_388"><a href="#prod-NonOctalDecimalIntegerLiteral">NonOctalDecimalIntegerLiteral</a></emu-nt></emu-rhs>
872 | </emu-production>
873 | <emu-production name="NonOctalDecimalIntegerLiteral" type="lexical" id="prod-NonOctalDecimalIntegerLiteral">
874 |     <emu-nt><a href="#prod-NonOctalDecimalIntegerLiteral">NonOctalDecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="46667561"><emu-t>0</emu-t><emu-nt id="_ref_389"><a href="#prod-NonOctalDigit">NonOctalDigit</a></emu-nt></emu-rhs>
875 |     <emu-rhs a="c90efc20"><emu-nt id="_ref_390"><a href="#prod-LegacyOctalLikeDecimalIntegerLiteral">LegacyOctalLikeDecimalIntegerLiteral</a></emu-nt><emu-nt id="_ref_391"><a href="#prod-NonOctalDigit">NonOctalDigit</a></emu-nt></emu-rhs>
876 |     <emu-rhs a="a9778131"><emu-nt id="_ref_392"><a href="#prod-NonOctalDecimalIntegerLiteral">NonOctalDecimalIntegerLiteral</a></emu-nt><emu-nt id="_ref_393"><a href="#prod-DecimalDigit">DecimalDigit</a></emu-nt></emu-rhs>
877 | </emu-production>
878 | <emu-production name="LegacyOctalLikeDecimalIntegerLiteral" type="lexical" id="prod-LegacyOctalLikeDecimalIntegerLiteral">
879 |     <emu-nt><a href="#prod-LegacyOctalLikeDecimalIntegerLiteral">LegacyOctalLikeDecimalIntegerLiteral</a></emu-nt><emu-geq>::</emu-geq><emu-rhs a="46c53d12"><emu-t>0</emu-t><emu-nt id="_ref_394"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
880 |     <emu-rhs a="b24ee1d6"><emu-nt id="_ref_395"><a href="#prod-LegacyOctalLikeDecimalIntegerLiteral">LegacyOctalLikeDecimalIntegerLiteral</a></emu-nt><emu-nt id="_ref_396"><a href="#prod-OctalDigit">OctalDigit</a></emu-nt></emu-rhs>
881 | </emu-production>
882 | <emu-production name="NonOctalDigit" type="lexical" oneof="" id="prod-NonOctalDigit">
883 |     <emu-nt><a href="#prod-NonOctalDigit">NonOctalDigit</a></emu-nt><emu-geq>::</emu-geq><emu-oneof>one of</emu-oneof><emu-rhs><emu-t>8</emu-t><emu-t>9</emu-t></emu-rhs>
884 | </emu-production></emu-grammar>
885 |     </emu-annex>
886 |   </emu-annex>
887 | </emu-annex>
888 | </div></body>


--------------------------------------------------------------------------------
/package.json:
--------------------------------------------------------------------------------
 1 | {
 2 |   "private": true,
 3 |   "scripts": {
 4 |     "test": ":",
 5 |     "build": "mkdir -p docs; ecmarkup --verbose spec.html docs/index.html --css docs/ecmarkup.css --js docs/ecmarkup.js"
 6 |   },
 7 |   "devDependencies": {
 8 |     "@alrra/travis-scripts": "^3.0.1",
 9 |     "ecmarkup": "^3.25.3"
10 |   }
11 | }
12 | 


--------------------------------------------------------------------------------
/spec.html:
--------------------------------------------------------------------------------
  1 | <!DOCTYPE html>
  2 | <meta charset="utf-8">
  3 | <pre class="metadata">
  4 | title: Numeric separators
  5 | status: proposal
  6 | stage: 3
  7 | location: https://github.com/tc39/proposal-numeric-separator
  8 | copyright: false
  9 | contributors: Sam Goto, Rick Waldron, Leo Balter, Christophe Porteneuve, Adam Klein, Domenic Denicola
 10 | </pre>
 11 | <script src="ecmarkup.js" defer></script>
 12 | <link rel="stylesheet" href="ecmarkup.css">
 13 | <style>
 14 |   hr {
 15 |     height: 0.25em;
 16 |     background: #ccc;
 17 |     border: 0;
 18 |     margin: 2em 0;
 19 |   }
 20 |   /* no strikes; strikes make it unreadable */
 21 |   del {
 22 |     text-decoration: none;
 23 |   }
 24 |   ins {
 25 |     border: 0px;
 26 |   }
 27 | </style>
 28 | 
 29 | <p>The grammar listed in <a href="https://tc39.github.io/ecma262/#sec-literals-numeric-literals" title="Numeric Literals">11.8.3</a> is modified as follows.</p>
 30 | 
 31 | <!-- es6num="11.8.3" -->
 32 | <emu-clause id="sec-literals-numeric-literals">
 33 |   <h1>Numeric Literals</h1>
 34 |   <h2>Syntax</h2>
 35 |   <emu-grammar>
 36 | 
 37 |     <ins>
 38 |     NumericLiteralSeparator ::
 39 |       `_`
 40 |     </ins>
 41 | 
 42 |     NumericLiteral ::
 43 |       DecimalLiteral
 44 |       DecimalBigIntegerLiteral
 45 |       NonDecimalIntegerLiteral
 46 |       NonDecimalIntegerLiteral BigIntLiteralSuffix
 47 | 
 48 |     DecimalBigIntegerLiteral ::
 49 |       `0` BigIntLiteralSuffix
 50 |       NonZeroDigit DecimalDigits? BigIntLiteralSuffix
 51 |       <ins>NonZeroDigit NumericLiteralSeparator DecimalDigits BigIntLiteralSuffix</ins>
 52 | 
 53 |     NonDecimalIntegerLiteral ::
 54 |       BinaryIntegerLiteral
 55 |       OctalIntegerLiteral
 56 |       HexIntegerLiteral
 57 | 
 58 |     BigIntLiteralSuffix ::
 59 |       `n`
 60 | 
 61 |     DecimalLiteral ::
 62 |       DecimalIntegerLiteral `.` DecimalDigits? ExponentPart?
 63 |       `.` DecimalDigits ExponentPart?
 64 |       DecimalIntegerLiteral ExponentPart?
 65 | 
 66 |     DecimalIntegerLiteral ::
 67 |       `0`
 68 |       <del>NonZeroDigit DecimalDigits?</del>
 69 |       <ins>
 70 |       NonZeroDigit
 71 |       NonZeroDigit NumericLiteralSeparator? DecimalDigits
 72 |       </ins>
 73 | 
 74 |     DecimalDigits ::
 75 |       DecimalDigit
 76 |       DecimalDigits <ins>NumericLiteralSeparator?</ins> DecimalDigit
 77 | 
 78 |     DecimalDigit :: one of
 79 |       `0` `1` `2` `3` `4` `5` `6` `7` `8` `9`
 80 | 
 81 |     NonZeroDigit :: one of
 82 |       `1` `2` `3` `4` `5` `6` `7` `8` `9`
 83 | 
 84 |     ExponentPart ::
 85 |       ExponentIndicator SignedInteger
 86 | 
 87 |     ExponentIndicator :: one of
 88 |       `e` `E`
 89 | 
 90 |     SignedInteger ::
 91 |       DecimalDigits
 92 |       `+` DecimalDigits
 93 |       `-` DecimalDigits
 94 | 
 95 |     BinaryIntegerLiteral ::
 96 |       `0b` BinaryDigits
 97 |       `0B` BinaryDigits
 98 | 
 99 |     BinaryDigits ::
100 |       BinaryDigit
101 |       BinaryDigits <ins>NumericLiteralSeparator?</ins> BinaryDigit
102 | 
103 |     BinaryDigit :: one of
104 |       `0` `1`
105 | 
106 |     OctalIntegerLiteral ::
107 |       `0o` OctalDigits
108 |       `0O` OctalDigits
109 | 
110 |     OctalDigits ::
111 |       OctalDigit
112 |       OctalDigits <ins>NumericLiteralSeparator?</ins> OctalDigit
113 | 
114 |     OctalDigit :: one of
115 |       `0` `1` `2` `3` `4` `5` `6` `7`
116 | 
117 |     HexIntegerLiteral ::
118 |       `0x` HexDigits
119 |       `0X` HexDigits
120 | 
121 |     HexDigits ::
122 |       HexDigit
123 |       HexDigits <ins>NumericLiteralSeparator?</ins> HexDigit
124 | 
125 |     HexDigit :: one of
126 |       `0` `1` `2` `3` `4` `5` `6` `7` `8` `9` `a` `b` `c` `d` `e` `f` `A` `B` `C` `D` `E` `F`
127 |   </emu-grammar>
128 |   <p>The |SourceCharacter| immediately following a |NumericLiteral| must not be an |IdentifierStart| or |DecimalDigit|.</p>
129 |   <emu-note>
130 |     <p>For example: `3in` is an error and not the two input elements `3` and `in`.</p>
131 |   </emu-note>
132 |   <p>A conforming implementation, when processing strict mode code, must not extend, as described in <emu-xref href="#sec-additional-syntax-numeric-literals"></emu-xref>, the syntax of |NumericLiteral| to include |LegacyOctalIntegerLiteral|, nor extend the syntax of |DecimalIntegerLiteral| to include |NonOctalDecimalIntegerLiteral|.</p>
133 | 
134 |   <!-- es6num="11.8.3.1" -->
135 |   <emu-clause id="sec-static-semantics-mv">
136 |     <h1>Static Semantics: MV</h1>
137 |     <p>A numeric literal stands for a value of the Number type or the BigInt type.</p>
138 |     <ul>
139 |       <li>
140 |         <ins><emu-grammar>NumericLiteralSeparator :: `_`</emu-grammar> has no MV.</ins>
141 |       </li>
142 |       <li>
143 |         The MV of <emu-grammar>NumericLiteral :: DecimalLiteral</emu-grammar> is the MV of |DecimalLiteral|.
144 |       </li>
145 |       <li>
146 |         The MV of <emu-grammar>NonDecimalIntegerLiteral :: BinaryIntegerLiteral</emu-grammar> is the MV of |BinaryIntegerLiteral|.
147 |       </li>
148 |       <li>
149 |         The MV of <emu-grammar>NonDecimalIntegerLiteral :: OctalIntegerLiteral</emu-grammar> is the MV of |OctalIntegerLiteral|.
150 |       </li>
151 |       <li>
152 |         The MV of <emu-grammar>NonDecimalIntegerLiteral :: HexIntegerLiteral</emu-grammar> is the MV of |HexIntegerLiteral|.
153 |       </li>
154 |       <li>
155 |         The MV of <emu-grammar>DecimalLiteral :: DecimalIntegerLiteral `.`</emu-grammar> is the MV of |DecimalIntegerLiteral|.
156 |       </li>
157 |       <li>
158 |         The MV of <emu-grammar>DecimalLiteral :: DecimalIntegerLiteral `.` DecimalDigits</emu-grammar> is the MV of |DecimalIntegerLiteral| plus (the MV of |DecimalDigits| &times; 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>), where _n_ is the mathematical value of the number of code points in |DecimalDigits|<ins>, excluding all occurrences of |NumericLiteralSeparator|</ins>.
159 |       </li>
160 |       <li>
161 |         The MV of <emu-grammar>DecimalLiteral :: DecimalIntegerLiteral `.` ExponentPart</emu-grammar> is the MV of |DecimalIntegerLiteral| &times; 10<sub>ℝ</sub><sup>_e_</sup>, where _e_ is the MV of |ExponentPart|.
162 |       </li>
163 |       <li>
164 |         The MV of <emu-grammar>DecimalLiteral :: DecimalIntegerLiteral `.` DecimalDigits ExponentPart</emu-grammar> is (the MV of |DecimalIntegerLiteral| plus (the MV of |DecimalDigits| &times; 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>)) &times; 10<sub>ℝ</sub><sup>_e_</sup>, where _n_ is the mathematical integer number of code points in |DecimalDigits|<ins>, excluding all occurrences of |NumericLiteralSeparator|</ins>, and _e_ is the MV of |ExponentPart|.
165 |       </li>
166 |       <li>
167 |         The MV of <emu-grammar>DecimalLiteral :: `.` DecimalDigits</emu-grammar> is the MV of |DecimalDigits| &times; 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>, where _n_ is the mathematical integer number of code points in |DecimalDigits|<ins>, excluding all occurrences of |NumericLiteralSeparator|</ins>.
168 |       </li>
169 |       <li>
170 |         The MV of <emu-grammar>DecimalLiteral :: `.` DecimalDigits ExponentPart</emu-grammar> is the MV of |DecimalDigits| &times; 10<sub>ℝ</sub><sup>_e_ -<sub>ℝ</sub> _n_</sup>, where _n_ is the mathematical integer number of code points in |DecimalDigits|<ins>, excluding all occurrences of |NumericLiteralSeparator|</ins>, and _e_ is the MV of |ExponentPart|.
171 |       </li>
172 |       <li>
173 |         The MV of <emu-grammar>DecimalLiteral :: DecimalIntegerLiteral</emu-grammar> is the MV of |DecimalIntegerLiteral|.
174 |       </li>
175 |       <li>
176 |         The MV of <emu-grammar>DecimalLiteral :: DecimalIntegerLiteral ExponentPart</emu-grammar> is the MV of |DecimalIntegerLiteral| &times; 10<sub>ℝ</sub><sup>_e_</sup>, where _e_ is the MV of |ExponentPart|.
177 |       </li>
178 |       <li>
179 |         The MV of <emu-grammar>DecimalIntegerLiteral :: `0`</emu-grammar> is 0<sub>ℝ</sub>.
180 |       </li>
181 |       <li>
182 |         The MV of <emu-grammar>DecimalIntegerLiteral :: NonZeroDigit</emu-grammar> is the MV of |NonZeroDigit|.
183 |       </li>
184 |       <li>
185 |         The MV of <emu-grammar>DecimalIntegerLiteral :: NonZeroDigit DecimalDigits</emu-grammar> is (the MV of |NonZeroDigit| &times; 10<sub>ℝ</sub><sup>_n_</sup>) plus the MV of |DecimalDigits|, where _n_ is the mathematical integer number of code points in |DecimalDigits|<ins>, excluding all occurrences of |NumericLiteralSeparator|</ins>.
186 |       </li>
187 |       <li>
188 |         The MV of <emu-grammar>DecimalDigits :: DecimalDigit</emu-grammar> is the MV of |DecimalDigit|.
189 |       </li>
190 |       <li>
191 |         The MV of <emu-grammar>DecimalDigits :: DecimalDigits DecimalDigit</emu-grammar> is (the MV of |DecimalDigits| &times; 10<sub>ℝ</sub>) plus the MV of |DecimalDigit|.
192 |       </li>
193 |       <li>
194 |         <ins>The MV of <emu-grammar>DecimalDigits :: DecimalDigits NumericLiteralSeparator DecimalDigit</emu-grammar> is (the MV of |DecimalDigits| &times; 10<sub>ℝ</sub>) plus the MV of |DecimalDigit|.</ins>
195 |       </li>
196 |       <li>
197 |         The MV of <emu-grammar>ExponentPart :: ExponentIndicator SignedInteger</emu-grammar> is the MV of |SignedInteger|.
198 |       </li>
199 |       <li>
200 |         The MV of <emu-grammar>SignedInteger :: DecimalDigits</emu-grammar> is the MV of |DecimalDigits|.
201 |       </li>
202 |       <li>
203 |         The MV of <emu-grammar>SignedInteger :: `+` DecimalDigits</emu-grammar> is the MV of |DecimalDigits|.
204 |       </li>
205 |       <li>
206 |         The MV of <emu-grammar>SignedInteger :: `-` DecimalDigits</emu-grammar> is the negative of the MV of |DecimalDigits|.
207 |       </li>
208 |       <li>
209 |         The MV of <emu-grammar>DecimalDigit :: `0`</emu-grammar> or of <emu-grammar>HexDigit :: `0`</emu-grammar> or of <emu-grammar>OctalDigit :: `0`</emu-grammar> or of <emu-grammar>BinaryDigit :: `0`</emu-grammar> is 0<sub>ℝ</sub>.
210 |       </li>
211 |       <li>
212 |         The MV of <emu-grammar>DecimalDigit :: `1`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `1`</emu-grammar> or of <emu-grammar>HexDigit :: `1`</emu-grammar> or of <emu-grammar>OctalDigit :: `1`</emu-grammar> or of <emu-grammar>BinaryDigit :: `1`</emu-grammar> is 1<sub>ℝ</sub>.
213 |       </li>
214 |       <li>
215 |         The MV of <emu-grammar>DecimalDigit :: `2`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `2`</emu-grammar> or of <emu-grammar>HexDigit :: `2`</emu-grammar> or of <emu-grammar>OctalDigit :: `2`</emu-grammar> is 2<sub>ℝ</sub>.
216 |       </li>
217 |       <li>
218 |         The MV of <emu-grammar>DecimalDigit :: `3`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `3`</emu-grammar> or of <emu-grammar>HexDigit :: `3`</emu-grammar> or of <emu-grammar>OctalDigit :: `3`</emu-grammar> is 3<sub>ℝ</sub>.
219 |       </li>
220 |       <li>
221 |         The MV of <emu-grammar>DecimalDigit :: `4`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `4`</emu-grammar> or of <emu-grammar>HexDigit :: `4`</emu-grammar> or of <emu-grammar>OctalDigit :: `4`</emu-grammar> is 4<sub>ℝ</sub>.
222 |       </li>
223 |       <li>
224 |         The MV of <emu-grammar>DecimalDigit :: `5`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `5`</emu-grammar> or of <emu-grammar>HexDigit :: `5`</emu-grammar> or of <emu-grammar>OctalDigit :: `5`</emu-grammar> is 5<sub>ℝ</sub>.
225 |       </li>
226 |       <li>
227 |         The MV of <emu-grammar>DecimalDigit :: `6`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `6`</emu-grammar> or of <emu-grammar>HexDigit :: `6`</emu-grammar> or of <emu-grammar>OctalDigit :: `6`</emu-grammar> is 6<sub>ℝ</sub>.
228 |       </li>
229 |       <li>
230 |         The MV of <emu-grammar>DecimalDigit :: `7`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `7`</emu-grammar> or of <emu-grammar>HexDigit :: `7`</emu-grammar> or of <emu-grammar>OctalDigit :: `7`</emu-grammar> is 7<sub>ℝ</sub>.
231 |       </li>
232 |       <li>
233 |         The MV of <emu-grammar>DecimalDigit :: `8`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `8`</emu-grammar> or of <emu-grammar>HexDigit :: `8`</emu-grammar> is 8<sub>ℝ</sub>.
234 |       </li>
235 |       <li>
236 |         The MV of <emu-grammar>DecimalDigit :: `9`</emu-grammar> or of <emu-grammar>NonZeroDigit :: `9`</emu-grammar> or of <emu-grammar>HexDigit :: `9`</emu-grammar> is 9<sub>ℝ</sub>.
237 |       </li>
238 |       <li>
239 |         The MV of <emu-grammar>HexDigit :: `a`</emu-grammar> or of <emu-grammar>HexDigit :: `A`</emu-grammar> is 10<sub>ℝ</sub>.
240 |       </li>
241 |       <li>
242 |         The MV of <emu-grammar>HexDigit :: `b`</emu-grammar> or of <emu-grammar>HexDigit :: `B`</emu-grammar> is 11<sub>ℝ</sub>.
243 |       </li>
244 |       <li>
245 |         The MV of <emu-grammar>HexDigit :: `c`</emu-grammar> or of <emu-grammar>HexDigit :: `C`</emu-grammar> is 12<sub>ℝ</sub>.
246 |       </li>
247 |       <li>
248 |         The MV of <emu-grammar>HexDigit :: `d`</emu-grammar> or of <emu-grammar>HexDigit :: `D`</emu-grammar> is 13<sub>ℝ</sub>.
249 |       </li>
250 |       <li>
251 |         The MV of <emu-grammar>HexDigit :: `e`</emu-grammar> or of <emu-grammar>HexDigit :: `E`</emu-grammar> is 14<sub>ℝ</sub>.
252 |       </li>
253 |       <li>
254 |         The MV of <emu-grammar>HexDigit :: `f`</emu-grammar> or of <emu-grammar>HexDigit :: `F`</emu-grammar> is 15<sub>ℝ</sub>.
255 |       </li>
256 |       <li>
257 |         The MV of <emu-grammar>BinaryIntegerLiteral :: `0b` BinaryDigits</emu-grammar> is the MV of |BinaryDigits|.
258 |       </li>
259 |       <li>
260 |         The MV of <emu-grammar>BinaryIntegerLiteral :: `0B` BinaryDigits</emu-grammar> is the MV of |BinaryDigits|.
261 |       </li>
262 |       <li>
263 |         The MV of <emu-grammar>BinaryDigits :: BinaryDigit</emu-grammar> is the MV of |BinaryDigit|.
264 |       </li>
265 |       <li>
266 |         The MV of <emu-grammar>BinaryDigits :: BinaryDigits <ins>NumericLiteralSeparator</ins> BinaryDigit</emu-grammar> is (the MV of |BinaryDigits| &times; 2<sub>ℝ</sub>) plus the MV of |BinaryDigit|.
267 |       </li>
268 |       <li>
269 |         The MV of <emu-grammar>OctalIntegerLiteral :: `0o` OctalDigits</emu-grammar> is the MV of |OctalDigits|.
270 |       </li>
271 |       <li>
272 |         The MV of <emu-grammar>OctalIntegerLiteral :: `0O` OctalDigits</emu-grammar> is the MV of |OctalDigits|.
273 |       </li>
274 |       <li>
275 |         The MV of <emu-grammar>OctalDigits :: OctalDigit</emu-grammar> is the MV of |OctalDigit|.
276 |       </li>
277 |       <li>
278 |         The MV of <emu-grammar>OctalDigits :: OctalDigits OctalDigit</emu-grammar> is (the MV of |OctalDigits| &times; 8<sub>ℝ</sub>) plus the MV of |OctalDigit|.
279 |       </li>
280 |       <li>
281 |         The MV of <emu-grammar>OctalDigits :: OctalDigits <ins>NumericLiteralSeparator</ins> OctalDigit</emu-grammar> is (the MV of |OctalDigits| &times; 8<sub>ℝ</sub>) plus the MV of |OctalDigit|.
282 |       </li>
283 |       <li>
284 |         The MV of <emu-grammar>HexIntegerLiteral :: `0x` HexDigits</emu-grammar> is the MV of |HexDigits|.
285 |       </li>
286 |       <li>
287 |         The MV of <emu-grammar>HexIntegerLiteral :: `0X` HexDigits</emu-grammar> is the MV of |HexDigits|.
288 |       </li>
289 |       <li>
290 |         The MV of <emu-grammar>HexDigits :: HexDigit</emu-grammar> is the MV of |HexDigit|.
291 |       </li>
292 |       <li>
293 |         The MV of <emu-grammar>HexDigits :: HexDigits HexDigit</emu-grammar> is (the MV of |HexDigits| &times; 16<sub>ℝ</sub>) plus the MV of |HexDigit|.
294 |       </li>
295 |       <li>
296 |         The MV of <emu-grammar>HexDigits :: HexDigits <ins>NumericLiteralSeparator</ins> HexDigit</emu-grammar> is (the MV of |HexDigits| &times; 16<sub>ℝ</sub>) plus the MV of |HexDigit|.
297 |       </li>
298 |       <li>
299 |         The MV of <emu-grammar>Hex4Digits :: HexDigit HexDigit HexDigit HexDigit</emu-grammar> is (0x1000<sub>ℝ</sub> times the MV of the first |HexDigit|) plus (0x100<sub>ℝ</sub> times the MV of the second |HexDigit|) plus (0x10<sub>ℝ</sub> times the MV of the third |HexDigit|) plus the MV of the fourth |HexDigit|.
300 |       </li>
301 |     </ul>
302 |   </emu-clause>
303 | 
304 |   <emu-clause id="sec-numericvalue">
305 |     <h1>Static Semantics: NumericValue</h1>
306 |     <p>...</p>
307 |     <del>
308 |     <emu-grammar>DecimalBigIntegerLiteral :: NonZeroDigit DecimalDigits BigIntLiteralSuffix</emu-grammar>
309 |     </del>
310 |     <ins>
311 |     <emu-grammar>
312 |       DecimalBigIntegerLiteral ::
313 |         NonZeroDigit DecimalDigits BigIntLiteralSuffix
314 |         NonZeroDigit NumericLiteralSeparator DecimalDigits BigIntLiteralSuffix
315 |     </emu-grammar>
316 |     </ins>
317 |     <emu-alg>
318 |       1. Let _n_ be the mathematical integer number of code points in |DecimalDigits|.
319 |       1. Let _mv_ be (the MV of |NonZeroDigit| &times; 10<sub>ℝ</sub><sup>_n_</sup>) plus the MV of |DecimalDigits|.
320 |       1. Return the BigInt value that represents _mv_.
321 |     </emu-alg>
322 |   </emu-clause>  
323 | </emu-clause>
324 | 
325 | <!-- es6num="7.1.3.1" -->
326 | <emu-clause id="sec-tonumber-applied-to-the-string-type">
327 |   <h1>ToNumber Applied to the String Type</h1>
328 |   <p>ToNumber applied to Strings applies the following grammar to the input String interpreted as a sequence of UTF-16 encoded code points (<emu-xref href="#sec-ecmascript-language-types-string-type"></emu-xref>). If the grammar cannot interpret the String as an expansion of |StringNumericLiteral|, then the result of ToNumber is *NaN*.</p>
329 |   <emu-note>
330 |     <p>The terminal symbols of this grammar are all composed of characters in the Unicode Basic Multilingual Plane (BMP). Therefore, the result of ToNumber will be *NaN* if the string contains any <emu-xref href="#leading-surrogate"></emu-xref> or <emu-xref href="#trailing-surrogate"></emu-xref> code units, whether paired or unpaired.</p>
331 |   </emu-note>
332 |   <h2>Syntax</h2>
333 | 
334 |   <emu-grammar type="definition">
335 |     StringNumericLiteral :::
336 |       StrWhiteSpace?
337 |       StrWhiteSpace? StrNumericLiteral StrWhiteSpace?
338 | 
339 |     StrWhiteSpace :::
340 |       StrWhiteSpaceChar StrWhiteSpace?
341 | 
342 |     StrWhiteSpaceChar :::
343 |       WhiteSpace
344 |       LineTerminator
345 | 
346 |     StrNumericLiteral :::
347 |       StrDecimalLiteral
348 |       <del>NonDecimalIntegerLiteral</del>
349 |       <ins>
350 |       StrBinaryLiteral
351 |       StrOctalLiteral
352 |       StrHexLiteral
353 |       </ins>
354 | 
355 |     StrDecimalLiteral :::
356 |       StrUnsignedDecimalLiteral
357 |       `+` StrUnsignedDecimalLiteral
358 |       `-` StrUnsignedDecimalLiteral
359 | 
360 |     StrUnsignedDecimalLiteral :::
361 |       `Infinity`
362 |       <del>
363 |       DecimalDigits `.` DecimalDigits? ExponentPart?
364 |       `.` DecimalDigits ExponentPart?
365 |       DecimalDigits ExponentPart?
366 |       </del>
367 |       <ins>
368 |       StrDecimalDigits `.` StrDecimalDigits? StrExponentPart?
369 |       `.` StrDecimalDigits StrExponentPart?
370 |       StrDecimalDigits StrExponentPart?
371 |       </ins>
372 | 
373 |     <ins>
374 |     StrDecimalDigits :::
375 |       DecimalDigit
376 |       StrDecimalDigits DecimalDigit
377 | 
378 |     StrExponentPart :::
379 |       ExponentIndicator StrSignedInteger
380 | 
381 |     StrSignedInteger :::
382 |       StrDecimalDigits
383 |       `+` StrDecimalDigits
384 |       `-` StrDecimalDigits
385 | 
386 |     StrBinaryLiteral :::
387 |       `0b` StrBinaryDigits
388 |       `0B` StrBinaryDigits
389 | 
390 |     StrBinaryDigits :::
391 |       BinaryDigit
392 |       StrBinaryDigits BinaryDigit
393 | 
394 |     StrOctalLiteral :::
395 |       `0o` StrOctalDigits
396 |       `0O` StrOctalDigits
397 | 
398 |     StrOctalDigits :::
399 |       OctalDigit
400 |       StrOctalDigits OctalDigit
401 | 
402 |     StrHexLiteral :::
403 |       `0x` StrHexDigits
404 |       `0X` StrHexDigits
405 | 
406 |     StrHexDigits :::
407 |       HexDigit
408 |       StrHexDigits HexDigit
409 |     </ins>
410 | 
411 |   </emu-grammar>
412 | 
413 |   <!-- es6num="7.1.3.1.1" -->
414 |   <emu-clause id="sec-runtime-semantics-mv-s">
415 |     <h1>Runtime Semantics: MV</h1>
416 |     <p>The conversion of a String to a Number value is similar overall to the determination of the Number value for a numeric literal (see <emu-xref href="#sec-literals-numeric-literals"></emu-xref>), but some of the details are different, so the process for converting a String numeric literal to a value of Number type is given here. This value is determined in two steps: first, a mathematical value (MV) is derived from the String numeric literal; second, this mathematical value is rounded as described below. The MV on any grammar symbol, not provided below, is the MV for that symbol defined in <emu-xref href="#sec-static-semantics-mv"></emu-xref>.</p>
417 |     <ul>
418 |       <li>
419 |         The MV of <emu-grammar>StringNumericLiteral ::: [empty]</emu-grammar> is 0<sub>ℝ</sub>.
420 |       </li>
421 |       <li>
422 |         The MV of <emu-grammar>StringNumericLiteral ::: StrWhiteSpace</emu-grammar> is 0<sub>ℝ</sub>.
423 |       </li>
424 |       <li>
425 |         The MV of <emu-grammar>StringNumericLiteral ::: StrWhiteSpace? StrNumericLiteral StrWhiteSpace?</emu-grammar> is the MV of |StrNumericLiteral|, no matter whether white space is present or not.
426 |       </li>
427 |       <li>
428 |         <ins>
429 |         The MV of <emu-grammar>StrNumericLiteral :: StrBinaryLiteral</emu-grammar> is the MV of |StrBinaryLiteral|.
430 |         </ins>
431 |       </li>
432 |       <li>
433 |         <ins>
434 |         The MV of <emu-grammar>StrNumericLiteral :: StrOctalLiteral</emu-grammar> is the MV of |StrOctalLiteral|.
435 |         </ins>
436 |       </li>
437 |       <li>
438 |         <ins>
439 |         The MV of <emu-grammar>StrNumericLiteral :: StrHexLiteral</emu-grammar> is the MV of |StrHexLiteral|.
440 |         </ins>
441 |       </li>
442 |       <li>
443 |         The MV of <emu-grammar>StrDecimalLiteral ::: `-` StrUnsignedDecimalLiteral</emu-grammar> is the negative of the MV of |StrUnsignedDecimalLiteral|. (Note that if the MV of |StrUnsignedDecimalLiteral| is 0, the negative of this MV is also 0. The rounding rule described below handles the conversion of this signless mathematical zero to a floating-point *+0* or *-0* as appropriate.)
444 |       </li>
445 |       <li>
446 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: `Infinity`</emu-grammar> is 10<sub>ℝ</sub><sup>10000<sub>ℝ</sub></sup> (a value so large that it will round to *+&infin;*).
447 |       </li>
448 |       <li>
449 |         <del>
450 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: DecimalDigits `.` DecimalDigits</emu-grammar> is the MV of the first |DecimalDigits| plus (the MV of the second |DecimalDigits| times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>), where _n_ is the mathematical value of the number of code points in the second |DecimalDigits|.
451 |         </del>
452 |       </li>
453 |       <li>
454 |         <del>
455 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: DecimalDigits `.` ExponentPart</emu-grammar> is the MV of |DecimalDigits| times 10<sub>ℝ</sub><sup>_e_</sup>, where _e_ is the MV of |ExponentPart|.
456 |         </del>
457 |       </li>
458 |       <li>
459 |         <del>
460 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: DecimalDigits `.` DecimalDigits ExponentPart</emu-grammar> is (the MV of the first |DecimalDigits| plus (the MV of the second |DecimalDigits| times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>)) times 10<sub>ℝ</sub><sup>_e_</sup>, where _n_ is the mathematical value of the number of code points in the second |DecimalDigits| and _e_ is the MV of |ExponentPart|.
461 |         </del>
462 |       </li>
463 |       <li>
464 |         <del>
465 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: `.` DecimalDigits</emu-grammar> is the MV of |DecimalDigits| times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>, where _n_ is the mathematical value of the number of code points in |DecimalDigits|.
466 |         </del>
467 |       </li>
468 |       <li>
469 |         <del>
470 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: `.` DecimalDigits ExponentPart</emu-grammar> is the MV of |DecimalDigits| times 10<sub>ℝ</sub><sup>_e_ -<sub>ℝ</sub> _n_</sup>, where _n_ is the mathematical value of the number of code points in |DecimalDigits| and _e_ is the MV of |ExponentPart|.
471 |         </del>
472 |       </li>
473 |       <li>
474 |         <del>
475 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: DecimalDigits ExponentPart</emu-grammar> is the MV of |DecimalDigits| times 10<sub>ℝ</sub><sup>_e_</sup>, where _e_ is the MV of |ExponentPart|.
476 |         </del>
477 |       </li>
478 |       <li>
479 |         <ins>
480 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: StrDecimalDigits `.` StrDecimalDigits</emu-grammar> is the MV of the first |StrDecimalDigits| plus (the MV of the second |StrDecimalDigits| times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>), where _n_ is the mathematical value of the number of code points in the second |StrDecimalDigits|.
481 |         </ins>
482 |       </li>
483 |       <li>
484 |         <ins>
485 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: StrDecimalDigits `.` StrExponentPart</emu-grammar> is the MV of |StrDecimalDigits| times 10<sub>ℝ</sub><sup>_e_</sup>, where _e_ is the MV of |StrExponentPart|.
486 |         </ins>
487 |       </li>
488 |       <li>
489 |         <ins>
490 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: StrDecimalDigits `.` StrDecimalDigits StrExponentPart</emu-grammar> is (the MV of the first |StrDecimalDigits| plus (the MV of the second |StrDecimalDigits| times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>)) times 10<sub>ℝ</sub><sup>_e_</sup>, where _n_ is the mathematical value of the number of code points in the second |StrDecimalDigits| and _e_ is the MV of |StrExponentPart|.
491 |         </ins>
492 |       </li>
493 |       <li>
494 |         <ins>
495 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: `.` StrDecimalDigits</emu-grammar> is the MV of |StrDecimalDigits| times 10<sub>ℝ</sub><sup>-<sub>ℝ</sub>_n_</sup>, where _n_ is the mathematical value of the number of code points in |StrDecimalDigits|.
496 |         </ins>
497 |       </li>
498 |       <li>
499 |         <ins>
500 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: `.` StrDecimalDigits StrExponentPart</emu-grammar> is the MV of |StrDecimalDigits| times 10<sub>ℝ</sub><sup>_e_ -<sub>ℝ</sub> _n_</sup>, where _n_ is the mathematical value of the number of code points in |StrDecimalDigits| and _e_ is the MV of |StrExponentPart|.
501 |         </ins>
502 |       </li>
503 |       <li>
504 |         <ins>
505 |         The MV of <emu-grammar>StrUnsignedDecimalLiteral ::: StrDecimalDigits StrExponentPart</emu-grammar> is the MV of |StrDecimalDigits| times 10<sub>ℝ</sub><sup>_e_</sup>, where _e_ is the MV of |StrExponentPart|.
506 |         </ins>
507 |       </li>
508 |       <li>
509 |         <ins>
510 |         The MV of <emu-grammar>StrExponentPart ::: ExponentIndicator StrSignedInteger</emu-grammar> is the MV of |StrSignedInteger|.
511 |         </ins>
512 |       </li>
513 |       <li>
514 |         <ins>
515 |         The MV of <emu-grammar>StrSignedInteger ::: StrDecimalDigits</emu-grammar> is the MV of |StrDecimalDigits|.
516 |         </ins>
517 |       </li>
518 |       <li>
519 |         <ins>
520 |         The MV of <emu-grammar>StrSignedInteger ::: `+` StrDecimalDigits</emu-grammar> is the MV of |StrDecimalDigits|.
521 |         </ins>
522 |       </li>
523 |       <li>
524 |         <ins>
525 |         The MV of <emu-grammar>StrSignedInteger ::: `-` StrDecimalDigits</emu-grammar> is the negative of the MV of |StrDecimalDigits|.
526 |         </ins>
527 |       </li>
528 |       <li>
529 |         <ins>
530 |         The MV of <emu-grammar>StrBinaryLiteral ::: `0b` StrBinaryDigits</emu-grammar> is the MV of |StrBinaryDigits|.
531 |         </ins>
532 |       </li>
533 |       <li>
534 |         <ins>
535 |         The MV of <emu-grammar>StrBinaryLiteral ::: `0B` StrBinaryDigits</emu-grammar> is the MV of |StrBinaryDigits|.
536 |         </ins>
537 |       </li>
538 |       <li>
539 |         <ins>
540 |         The MV of <emu-grammar>StrBinaryDigits ::: BinaryDigit</emu-grammar> is the MV of |BinaryDigit|.
541 |         </ins>
542 |       </li>
543 |       <li>
544 |         <ins>
545 |         The MV of <emu-grammar>StrBinaryDigits ::: StrBinaryDigits BinaryDigit</emu-grammar> is (the MV of |StrBinaryDigits| &times; 2) plus the MV of |BinaryDigit|.
546 |         </ins>
547 |       </li>
548 |       <li>
549 |         <ins>
550 |         The MV of <emu-grammar>StrOctalLiteral ::: `0o` StrOctalDigits</emu-grammar> is the MV of |StrOctalDigits|.
551 |         </ins>
552 |       </li>
553 |       <li>
554 |         <ins>
555 |         The MV of <emu-grammar>StrOctalLiteral ::: `0O` StrOctalDigits</emu-grammar> is the MV of |StrOctalDigits|.
556 |         </ins>
557 |       </li>
558 |       <li>
559 |         <ins>
560 |         The MV of <emu-grammar>StrOctalDigits ::: OctalDigit</emu-grammar> is the MV of |OctalDigit|.
561 |         </ins>
562 |       </li>
563 |       <li>
564 |         <ins>
565 |         The MV of <emu-grammar>StrOctalDigits ::: StrOctalDigits OctalDigit </emu-grammar> is (the MV of |StrOctalDigits| &times; 8) plus the MV of |OctalDigit|.
566 |         </ins>
567 |       </li>
568 |       <li>
569 |         <ins>
570 |         The MV of <emu-grammar>StrHexLiteral ::: `0x` StrHexDigits</emu-grammar> is the MV of |StrHexDigits|.
571 |         </ins>
572 |       </li>
573 |       <li>
574 |         <ins>
575 |         The MV of <emu-grammar>StrHexLiteral ::: `0X` StrHexDigits</emu-grammar> is the MV of |StrHexDigits|.
576 |         </ins>
577 |       </li>
578 |       <li>
579 |         <ins>
580 |         The MV of <emu-grammar>StrHexDigits ::: HexDigit</emu-grammar> is the MV of |HexDigit|.
581 |         </ins>
582 |       </li>
583 |       <li>
584 |         <ins>
585 |         The MV of <emu-grammar>StrHexDigits ::: StrHexDigits HexDigit</emu-grammar> is (the MV of |StrHexDigits| &times; 16) plus the MV of |HexDigit|.
586 |         </ins>
587 |       </li>
588 |     </ul>
589 |     <p>Once the exact MV for a String numeric literal has been determined, it is then rounded to a value of the Number type. If the MV is 0, then the rounded value is *+0* unless the first non white space code point in the String numeric literal is `-`, in which case the rounded value is *-0*. Otherwise, the rounded value must be the Number value for the MV (in the sense defined in <emu-xref href="#sec-ecmascript-language-types-number-type"></emu-xref>), unless the literal includes a |StrUnsignedDecimalLiteral| and the literal has more than 20 significant digits, in which case the Number value may be either the Number value for the MV of a literal produced by replacing each significant digit after the 20th with a 0 digit or the Number value for the MV of a literal produced by replacing each significant digit after the 20th with a 0 digit and then incrementing the literal at the 20th digit position. A digit is significant if it is not part of an |ExponentPart| and</p>
590 |     <ul>
591 |       <li>
592 |         it is not `0`; or
593 |       </li>
594 |       <li>
595 |         there is a nonzero digit to its left and there is a nonzero digit, not in the |ExponentPart|, to its right.
596 |       </li>
597 |     </ul>
598 |   </emu-clause>
599 | </emu-clause>
600 | 
601 | <emu-annex id="sec-template-literal-lexical-components">
602 |   <h1>Template Literal Lexical Components</h1>
603 |   <h2>Syntax</h2>
604 |   <emu-grammar>
605 |     CodePoint ::
606 |       <del>HexDigits [> but only if MV of |HexDigits| &le; 0x10FFFF]</del>
607 |       <ins>CodePointDigits [> but only if MV of |HexDigits| &le; 0x10FFFF]</ins>
608 | 
609 |     <ins>
610 |     CodePointDigits ::
611 |       HexDigit
612 |       CodePointDigits HexDigit
613 |     </ins>
614 |   </emu-grammar>
615 | </emu-annex>
616 | 
617 | 
618 | <emu-annex id="sec-grammar-summary">
619 |   <h1>Grammar Summary</h1>
620 |   <p>Placeholder for Annex A</p>
621 | </emu-annex>
622 | 
623 | <emu-annex id="sec-additional-ecmascript-features-for-web-browsers">
624 |   <h1>Additional ECMAScript Features for Web Browsers</h1>
625 |   <p>...</p>
626 | 
627 |   <emu-annex id="sec-additional-syntax">
628 |     <h1>Additional Syntax</h1>
629 |     <!-- es6num="B.1.1" -->
630 |     <emu-annex id="sec-additional-syntax-numeric-literals">
631 |       <h1>Numeric Literals</h1>
632 |       <p>The syntax and semantics of <emu-xref href="#sec-literals-numeric-literals"></emu-xref> is extended as follows except that this extension is not allowed for strict mode code:</p>
633 |       <h2>Syntax</h2>
634 |       <emu-grammar>
635 |         NumericLiteral ::
636 |           DecimalLiteral
637 |           BinaryIntegerLiteral
638 |           OctalIntegerLiteral
639 |           HexIntegerLiteral
640 |           LegacyOctalIntegerLiteral
641 | 
642 |         LegacyOctalIntegerLiteral ::
643 |           `0` OctalDigit
644 |           LegacyOctalIntegerLiteral OctalDigit
645 | 
646 |         DecimalIntegerLiteral ::
647 |           `0`
648 |           <del>NonZeroDigit DecimalDigits?</del>
649 |           <ins>NonZeroDigit</ins>
650 |           <ins>NonZeroDigit NumericLiteralSeparator? DecimalDigits</ins>
651 |           NonOctalDecimalIntegerLiteral
652 | 
653 |         NonOctalDecimalIntegerLiteral ::
654 |           `0` NonOctalDigit
655 |           LegacyOctalLikeDecimalIntegerLiteral NonOctalDigit
656 |           NonOctalDecimalIntegerLiteral DecimalDigit
657 | 
658 |         LegacyOctalLikeDecimalIntegerLiteral ::
659 |           `0` OctalDigit
660 |           LegacyOctalLikeDecimalIntegerLiteral OctalDigit
661 | 
662 |         NonOctalDigit :: one of
663 |           `8` `9`
664 |       </emu-grammar>
665 |     </emu-annex>
666 |   </emu-annex>
667 | </emu-annex>
668 | 


--------------------------------------------------------------------------------
/spec.md:
--------------------------------------------------------------------------------
 1 | # Semantics
 2 | 
 3 | This feature is designed to have no impact on the interpretation semantics of numeric literals: `_` are to be ignored by interpreters and should have no effect. They are meant **exclusively** as a visual clue to aid development and have no runtime semantics.
 4 | 
 5 | ## Syntax
 6 | 
 7 | The following grammar represents the Stage 1 criteria, which is: 
 8 | 
 9 | 1. No leading or trailing separator.
10 | 2. No multiple adjacent separator.
11 | 3. No separator adjacent to decimal point `.`
12 | 4. No separator adjacent to _ExponentIndicator_.
13 | 5. No separator adjacent to `0b`, `0B`, `0o`, `0O`, `0x`, `0X`.
14 | 
15 | Changes to [Numeric Literals](https://tc39.es/ecma262/#prod-NumericLiteral) shown in rendered proposal.
16 | 
17 | Changes to [ToNumber Applied to the String Type](https://tc39.es/ecma262/#sec-tonumber-applied-to-the-string-type) & [Runtime Semantics: MV](https://tc39.es/ecma262/#sec-runtime-semantics-mv-s) shown in rendered proposal.
18 | 
19 | Changes to [Runtime Semantics: MV](https://tc39.es/ecma262/#sec-runtime-semantics-mv-s) shown in rendered proposal.
20 | 
21 | ### The Number Constructor, Number ( value )
22 | 
23 | [**The Number constructor**](https://tc39.es/ecma262/#sec-number-constructor-number-value) and [**Number(value)**](https://tc39.es/ecma262/#sec-number-constructor-number-value) both rely on [**ToNumber**](https://tc39.es/ecma262/#sec-tonumber), so there is no change needed.
24 | 
25 | ### ToNumber ( argument )
26 | 
27 | The abstract operation [ToNumber ( argument )](https://tc39.es/ecma262/#sec-tonumber) requires no change since it relies on the BinaryIntegerLiteral, OctalIntegerLiteral, HexIntegerLiteral and DecimalDigits changed above.
28 | 
29 | ### ToNumber Applied to the String Type, Runtime Semantics: MV
30 | 
31 | The syntax defined in [ToNumber Applied to the String Type](https://tc39.es/ecma262/#sec-tonumber-applied-to-the-string-type) is adjusted to use the newly defined _StrDecimalDigits_, preserving the behavior of [parseFloat( string )](https://tc39.es/ecma262/#sec-parsefloat-string). [Runtime Semantics: MV](https://tc39.es/ecma262/#sec-runtime-semantics-mv-s) are also updated by replacing _DecimalDigits_ with _StrDecimalDigits_.
32 | 
33 | ### Global object functions `isFinite` and `isNaN`
34 | 
35 | Both rely on *ToNumber* semantics (18.2.2 and 18.2.3), so they adjust automatically.
36 | 
37 | ### Global object functions `parseInt` and `parseFloat`
38 | 
39 | `parseFloat` semantics are unchanged. The syntax for _StrDecimalLiteral_ is updated to define its own _StrDecimalDigits_, preserving the behavior of "parseFloat applied to the String type".
40 | 
41 | `parseInt` semantics are unchanged.
42 | 
43 | ### Methods of the `Number` constructor
44 | 
45 | All detection methods (`isXx` methods) operate on actual number values, such as number literals, so they do not introduce extra conversion / parsing rules.  The `parseFloat` and `parseInt` methods are just convenience aliases over their homonyms in the global object.
46 | 


--------------------------------------------------------------------------------