ordinal exponentiation