Lines Matching refs:high
329 // * low, w and high are correct up to 1 ulp (unit in the last place). That
331 // * low.e() == w.e() == high.e()
332 // * low < w < high, and taking into account their error: low~ <= high~
338 // such that LOW < buffer * 10^kappa < HIGH, where LOW and HIGH are the
339 // correct values of low and high (without their error).
359 // represent 'w' we can stop. Everything inside the interval low - high
360 // represents w. However we have to pay attention to low, high and w's
364 DiyFp high,
368 DCHECK(low.e() == w.e() && w.e() == high.e());
369 DCHECK(low.f() + 1 <= high.f() - 1);
371 // low, w and high are imprecise, but by less than one ulp (unit in the last
373 // If we remove (resp. add) 1 ulp from low (resp. high) we are certain that
376 // Inversely adding (resp. removing) 1 ulp from low (resp. high) would yield
384 DiyFp too_high = DiyFp(high.f() + unit, high.e());
