fix tokenization bug for hex integers
Merge pull request #143 from plinss/master

fix tokenization bug for hex integers