external tdiv_q_2exp: t->int->t = "_mlgmp_z_tdiv_q_2exp"