vooooohooodoooo!

Author: MaximilianAlgehed

src/Constrained/NumOrd.hs

@@ -744,7 +744,7 @@ instance {-# OVERLAPPABLE #-} (HasSpec a, MaybeBounded a, Integral a, TypeSpec a
         | a == -1 = negate l
         | otherwise =
           let r = l `div` a in
-          if r * a < l
+          if toInteger r * toInteger a < toInteger l
           then r + signum a
           else r
 
@@ -753,7 +753,7 @@ instance {-# OVERLAPPABLE #-} (HasSpec a, MaybeBounded a, Integral a, TypeSpec a
         | a == -1 = negate u
         | otherwise =
           let r = u `div` a in
-          if r * a > u
+          if toInteger r * toInteger a > toInteger u
           then r - signum a
           else r