pulled out product

Author: DrMichaelPetter

src/cdomains/apron/sharedFunctions.apron.ml

@@ -33,8 +33,8 @@ let int_of_scalar ?(scalewith=Z.one) ?round (scalar: Scalar.t) =
           begin match round with
             | Some `Floor -> Some (Mpzf.mul scale (Mpzf.fdiv_q n d)) (* floor division *)
             | Some `Ceil ->  Some (Mpzf.mul scale (Mpzf.cdiv_q n d)) (* ceiling division *)
-            | None -> if Mpz.divisible_p (Mpzf.mul scale n ) d then
-                Some (Mpzf.divexact (Mpzf.mul scale n ) d) (* scale, preferably with common denominator *)
+            | None -> let product = Mpzf.mul scale n in if Mpz.divisible_p product d then
+                Some (Mpzf.divexact product d) (* scale, preferably with common denominator *)
               else None
           end
       in