external
of_int: int
->
t =
"_mlgmp_z_from_int"