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.