95   mpfr_set_str (b, "0.6926773", 10, MPFR_RNDN);  in check_pow_ui()
367   mpfr_set_str (a, "2E100000000", 10, MPFR_RNDN);  in check_special_pow_si()
482   mpfr_set_str (y, "0.5", 10, MPFR_RNDN);  in check_inexact()
550   mpfr_set_str (x, "5.68824667828621954868e-01", 10, MPFR_RNDN);  in special()
551   mpfr_set_str (y, "9.03327850535952658895e-01", 10, MPFR_RNDN);  in special()
563   mpfr_set_str (x, "1.00000000001010111110001111011e1", 2, MPFR_RNDN);  in special()
564   mpfr_set_str (t, "-0.5", 10, MPFR_RNDN);  in special()
566   mpfr_set_str (y, "1.01101001111010101110000101111e-1", 2, MPFR_RNDN);  in special()
576   mpfr_set_str (x, "1.11111100100001100101", 2, MPFR_RNDN);  in special()
578   mpfr_set_str (y, "1.01101011010001100000e-1", 2, MPFR_RNDN);  in special()
675   mpfr_set_str (x, "-0.5", 10, MPFR_RNDN);  in special()
676   mpfr_set_str (y, "-0.ffffffffffffffff", 16, MPFR_RNDN);  in special()
683   mpfr_set_str (x, "-1", 10, MPFR_RNDN);  in special()
688   mpfr_set_str (x, "-1", 10, MPFR_RNDN);  in special()
694   mpfr_set_str (x, "-1.5", 10, MPFR_RNDN);  in special()
700   mpfr_set_str (x, "1.5", 10, MPFR_RNDN);  in special()
705   mpfr_set_str (x, "-0.8", 16, MPFR_RNDN);  in special()
707   mpfr_set_str (y, "-1.5", 10, MPFR_RNDN);  in special()
970   mpfr_set_str (x, "0.110011010011101001110001110100010000110111101E0",  in underflows()
972   mpfr_set_str (y, "0.101110010011111001011010100011011100111110011E40",  in underflows()
1266   mpfr_set_str (y, "-0.ffffffffffffffff", 16, MPFR_RNDN);  in bug20071103()
1337   mpfr_set_str (x, "0.80000000000000000000000000000001", 16, MPFR_RNDN);  in bug20071127()
1341       mpfr_set_str (y, "8000000000000000", 16, MPFR_RNDN);  in bug20071127()
1373   mpfr_set_str (max_val, "0.ffffffffffffffff", 16, MPFR_RNDN);  in bug20071128()
1413   mpfr_set_str (x, "0x.80000000000002P-1023", 0, MPFR_RNDN);  in bug20071218()
1414   mpfr_set_str (y, "100000.000000002", 16, MPFR_RNDN);  in bug20071218()
1734   mpfr_set_str (t, "1.16afef53c30899a5c172bb302882p-13296", 16, MPFR_RNDN);  in check_binary128()
1744   mpfr_set_str (x, "1.fffffffffffffffffffffffffffep-1", 16, MPFR_RNDN);  in check_binary128()
1746   mpfr_set_str (y, "-1.62e42fefa39ef35793c7673007e5p125", 16, MPFR_RNDN);  in check_binary128()
1748   mpfr_set_str (t, "1.fffffffffffffffffffffffff105p16383", 16, MPFR_RNDN);  in check_binary128()