external perfect_power_p: t->bool = "_mlgmp_z_perfect_power_p"