external euclidean_division: t->t->t*t = "_mlgmp_z_fdiv_qr"