redo number lexer