Lines Matching full:interval
30 // outside the safe interval, or if we ctannot prove that it is closer to the
56 // The real w (* unit) must lie somewhere inside the interval
59 // Basically the buffer currently contains a number in the unsafe interval
96 // Anything that lies outside the unsafe interval is guaranteed not to round
98 // Anything that lies inside the safe interval is guaranteed to round to v
100 // If the number inside the buffer lies inside the unsafe interval but not
101 // inside the safe interval then we simply do not know and bail out (returning
110 // too_high) buffer that is still in the unsafe interval. In the case where
115 // 2) decrementing the buffer would make it leave the unsafe interval
143 // The safe interval is [too_low + 2 ulp; too_high - 2 ulp]
359 // represent 'w' we can stop. Everything inside the interval low - high
374 // the new numbers are outside of the interval we want the final
377 // numbers that are certain to lie in the interval. We will use this fact
380 // interval. Later we will weed out representations that lie outside the safe
381 // interval and thus _might_ lie outside the correct interval.
385 // too_low and too_high are guaranteed to lie outside the interval we want the
424 // that lies within the unsafe interval.
435 // data (like the interval or 'unit'), too.
