Modular exponentiation.