diff --git a/interflop_backends/interflop_verrou/vr_roundingOp.hxx b/interflop_backends/interflop_verrou/vr_roundingOp.hxx index b8e97c9..328cfed 100644 --- a/interflop_backends/interflop_verrou/vr_roundingOp.hxx +++ b/interflop_backends/interflop_verrou/vr_roundingOp.hxx @@ -421,10 +421,11 @@ public: }else{ resm=nextAwayFromZero(res); const RealType resHash(-resp); - const RealType limit=1.-RAND::randRatioFromResult(&vr_rand, &resHash); + // const RealType limit=1.-RAND::randRatioFromResult(&vr_rand, &resHash); + const RealType x=RAND::randRatioFromResult(&vr_rand, &resHash); const RealType u(resp-resm); - const RealType errorTh(u+error); - down =( errorTh <= (limit * u)); + // const RealType errorTh(u+error); + down =( error <= (-x) * u); } }