typographical number theory repl for the natural numbers