Explicit number types in `range` in Lexer