Description: Exponentiation with a positive mantissa is positive. (Contributed by Steven Nguyen, 6-Apr-2023)