fix tokenization bug for hex integers