Exponentiation and modulo