HP-71B: 1^Inf Error

[EdS2]

I notice IEEE floating point specifies the result of 0 × ∞ as NaN. If 1^x is computed as exp(log(1)*x) then that would be the same. (Why is it NaN? Perhaps because "The floating point zeros not only represent the real number zero. They also represent all real numbers that would round to something smaller than the smallest subnormal. That is why zero is signed. Even tiny numbers do have a sign if they are not actually zero.")