external cdiv_ui: t->int->int = "_mlgmp_z_cdiv_ui"