external of_float: int->t = "_mlgmp_z_from_float"