From aae98ccc66f6993995624158dfaa5f116ddfe1a5 Mon Sep 17 00:00:00 2001
From: ID Bot In all cases where the above says that digits "may be separated by Note that, similar to JSON and some other languages,
numbers without an integer digit (such as _",
+this means that between any two digits, or after the digits, any number of
+consecutive _ characters can appear. Underscores are not allowed before the digits.
+That is, 1___2 and 12____ are valid (and both equivalent to just 12), but
+_12 is not a valid number (it will instead parse as an identifier string),
+nor is 0x_1a (it will simply be invalid).¶.1) are illegal.
They must be written with at least one integer digit, like 0.1.
-(These patterns are also disallowed from Identifier Strings (Section 3.10), to avoid confusion.)¶