external sqrtrem: t->t*t = "_mlgmp_z_sqrtrem"