Speed up lexing of large integer literals

This partially addresses issue #139.