external float_from : t->float = "_mlgmp_q_to_float"