That just tracks the error bounds on individual "small" operations. I think this is more like what you want, an interval arithmetic library: https://github.com/

That just tracks the error bounds on individual "small" operations. I think this is more like what you want, an interval arithmetic library: https://github.com/eseraygun/rust-honestintervals https://github.com/eseraygun/rust-honestintervals The point is that AFAIK you need the whole algorithm (like, e.g., logarithm) analysed to get sensible error bounds.