Add factorial, gcd, and lcm to Nat.