external tdiv_r_ui: t->int->t = "_mlgmp_z_tdiv_r_ui"