Symbol: mp_float_t