Floating-point_error_mitigation