Add GCD, ExGCD.
Add ModularSystem.
Add ModularLog.