chg: gmp_output_digits -> cf->float_len