Properly skip hexadecimal numbers in pp_skip_number.
The problem is that everything starting at the "x" is pre-tokenized into one IndexedString by tokenizeFromByteArray, so we have to handle the case that the input is not a single character.