external is_perfect_power: t->bool = "_mlgmp_z_perfect_power_p"