external tdiv_ui: t->int->int = "_mlgmp_z_tdiv_ui"