special-cased x*y where x∊R and y∊Z, fixed #85

If x is real and y is (a real) integer, then x to the power of y must
surely be real, so we can skip the more general complex-number algorithm.