minor bug in number tokenizing