Description: Positive integer exponentiation is nonzero iff its mantissa is nonzero. (Contributed by NM, 6-May-2005)