Artihmetic lexing