token_number is now a method of Lexer.