Lines Matching refs:MPFR_RNDN
42 if (mpfr_mul_ui (z, x, u, MPFR_RNDN))
66 mpfr_set_ui (x, 1, MPFR_RNDN);
151 mpfr_mul_ui (x, x, 2, MPFR_RNDN);
179 mpfr_mul_ui (x, y, 1335, MPFR_RNDN);
204 mpfr_mul_ui (y, x, 1, MPFR_RNDN);
209 mpfr_mul_ui (y, x, 6, MPFR_RNDN);
219 mpfr_set_str (x, "2143861251406875.0", 10, MPFR_RNDN);
220 mpfr_mul_ui (y, x, 23, MPFR_RNDN);
238 mpfr_mul_ui (y, x, 1, MPFR_RNDN);
251 mpfr_set_ui (x, 17, MPFR_RNDN);
252 mpfr_mul_ui (x, x, ULONG_HIGHBIT, MPFR_RNDN);
254 mpfr_set_ui (y, ULONG_HIGHBIT, MPFR_RNDN);
255 mpfr_mul_ui (y, y, 17, MPFR_RNDN);
265 mpfr_set_ui (x, 1742175942, MPFR_RNDN);
266 mpfr_mul_ui (y, x, 59, MPFR_RNDN);
269 2, MPFR_RNDN))