external
tdiv_r_2exp: t
->
int
->
t =
"_mlgmp_z_tdiv_r_2exp"