1 files changed, 2 insertions, 2 deletions
diff --git a/Source/AIFramework/Polyhedra/LinearConstraint.cs b/Source/AIFramework/Polyhedra/LinearConstraint.cs
index ce5c23a2..5d1cabd5 100644
--- a/Source/AIFramework/Polyhedra/LinearConstraint.cs
+++ b/Source/AIFramework/Polyhedra/LinearConstraint.cs
@@ -429,14 +429,14 @@ namespace Microsoft.AbstractInterpretationFramework {
       foreach (DictionaryEntry /*IVarianble->Rational*/ e in coefficients) {
         Rational r = (Rational)(cce.NonNull(e.Value));
         if (r.IsNonZero) {
-          newCoefficients.Add(e.Key, new Rational(r.Numerator / gcd.Numerator, r.Denominator / gcd.Denominator));
+          newCoefficients.Add(e.Key, Rational.FromBignums(r.Numerator / gcd.Numerator, r.Denominator / gcd.Denominator));
         } else {
           newCoefficients.Add(e.Key, r);
         }
       }
 
       coefficients = newCoefficients;
-      rhs = rhs.IsNonZero ? (Rational)new Rational(rhs.Numerator / gcd.Numerator, rhs.Denominator / gcd.Denominator) : rhs;
+      rhs = rhs.IsNonZero ? Rational.FromBignums(rhs.Numerator / gcd.Numerator, rhs.Denominator / gcd.Denominator) : rhs;
     }
   }