Tokenize numbers including decimal and exponent as part of one token.

Fixes #488