external divexact: t->t->t = "_mlgmp_z_divexact"