modifying TokenizeNumber
refactoring token.h