Are the character digits [‘0’..’9′] required to have contiguous numeric values?
Indeed not looked hard enough: In 2.3. Character sets, item 3: In both the source and execution basic character sets, the value of each character after 0 in the above list of decimal digits shall be one greater than the value of the previous. And this is above list of decimal digits: 0 1 2 … Read more