Description: Nonnegative integer exponentiation is nonzero if its mantissa is nonzero. (Contributed by NM, 2-Aug-2006) (Revised by Mario Carneiro, 4-Jun-2014)