natural-arithmetic (hackage): Arithmetic on natural numbers
Keywords: bsd3|library|math