Prime_factor_exponent_notation loading ...