New: exponentiation