more vooodoooo!

Author: MaximilianAlgehed

src/Constrained/NumOrd.hs

@@ -764,15 +764,15 @@ instance HasDivision Float where
             l' = r * a
         in
         if l' < l
-        then r + (l - l') * 2 * signum a
+        then r + (l - l') * 2 / a
         else r
 
       adjustUpperBound u =
         let r = u / a
             u' = r * a
         in
         if u < u'
-        then r - (u' - u) * 2 * signum a
+        then r - (u' - u) * 2 / a
         else r
 
 instance HasDivision Double where
@@ -790,15 +790,15 @@ instance HasDivision Double where
             l' = r * a
         in
         if l' < l
-        then r + (l - l') * 2 * signum a
+        then r + (l - l') * 2 / a
         else r
 
       adjustUpperBound u =
         let r = u / a
             u' = r * a
         in
         if u < u'
-        then r - (u' - u) * 2 * signum a
+        then r - (u' - u) * 2 / a
         else r
 
 -- | A type that we can reason numerically about in constraints