Searched refs:maxMPFR (Results 1 – 1 of 1) sorted by relevance
438 MPFRNumber maxMPFR(max); in ulp() local448 mpfr_sub(maxMPFR.value, maxMPFR.value, pivot.value, MPFR_RNDN); in ulp()449 mpfr_mul_2si(maxMPFR.value, maxMPFR.value, in ulp()453 mpfr_add(minMPFR.value, minMPFR.value, maxMPFR.value, MPFR_RNDN); in ulp()