external tdiv_r: t->t->t = "_mlgmp_z_tdiv_r"