OPTIMIZATION: jsnums.fromString() is extremely slow. In the common case of reading symbols, we now perform a naive check to see if a symbol is definitelty *not* a number. If so, we skip the slow path entirely. Cuts lexing speed for a test program of 4000 idenfiers from 2sec to 20ms (\!), and lexing a normal Bootstrap game from 160ms to 60ms.