Extending on b68222e4e75d6cbe23c533f140733248df046c7e to ensure that it still has the exact same behaviour as the previous code, as discussed with @hpvb.
@@ -348,7 +348,9 @@ public:
//use the smallest depth
- min_B = -min_B;
+ if (min_B < 0.0) { // could be +0.0, we don't want it to become -0.0
+ min_B = -min_B;
+ }
if (max_B < min_B) {
if (max_B < best_depth) {