Always use #scan() and never @scanner directly [lexer]
[lexer] fix bug in #pushback() to accept flexible number