fix tokenization bug with hex integers