enhanced FLOAT_T<mpfr_t> specialization.