Times package:natural-arithmetic

Multiply two numbers.