Use operators that support arbitrary precision
Add `gcd'