Fix tokenization of integer.