external from_float : float->t = "_mlgmp_q_from_float"