external gcdext: t->t->t*t*t = "_mlgmp_z_gcdext"