addition on natural numbers