Better number lexing