natural-arithmetic-0.2.3.0: Arithmetic of natural numbers