adding natural numbers and a REPL