Constant ROUNDING 

pub const ROUNDING: Scalar = 1e-12;

Relative inflation applied to every returned bound, so the rounding of the bound’s own arithmetic cannot make it undershoot.