Add factorial, gcd, and lcm to Nat.
Merge pull request #570 from folone/master

Add factorial, gcd, and lcm to Nat.