Hardened for floating point arithmetic errors