external of_int: int->t = "_mlgmp_z_from_int"