+ // If there is still no positive div when we need it, add one
+ // (this can happen when pos_vdivs==neg_vdivs==0)
+ if ((max > 0) && (pos_vdivs_ == 0))
+ pos_vdivs_ = 1;
+
+ // If there is still no negative div when we need it, add one
+ // (this can happen when pos_vdivs was 0 or 1 when trying to split)
+ if ((min < 0) && (neg_vdivs_ == 0))
+ neg_vdivs_ = 1;
+