Ordinal exponentiation