external
from_int: dest: t
->
int
->
unit =
"_mlgmp_z2_from_int"