pub const ROUNDING: f64 = 1e-12 /* 9.9999999999999998E-13f64 */;
Relative inflation applied to every returned bound, so the rounding of the bound’s own arithmetic cannot make it undershoot.