cardinal exponentiation