…num-expr… ^ …num-expr…
num1, num2 -> largest(num1, num2)
Compute the first operand to the power of the second.
The result type is the largest of the operand types.