external from_float: float->t = "_mlgmp_z_from_float"