Feature: improve on number token

[arothuis]

It might be interesting to support floating-point numbers, rather than only integers (1.23). We could also allow _ as a separator for more legible numbers (i.e. 1_000_000).

This requires adding and changing token names for better disambiguation.