external fdiv_r_2exp: t->int->t = "_mlgmp_z_fdiv_r_2exp"