Greatest common divisor and least common multiple
Mod, GCD, modular inverse and power
Is it prime? Plus full factorisation