api: fix non-integer Mul args

Author: mloubout

devito/finite_differences/differentiable.py

@@ -552,17 +552,13 @@ def __new__(cls, *args, **kwargs):
         nums, others = split(args, lambda e: isinstance(e, (int, float,
                                                             sympy.Number, np.number)))
         scalar = sympy.Mul(*nums)
-        try:
-            scalar = sympy.Integer(scalar)
-        except TypeError:
-            pass
 
         # a*0 -> 0
         if scalar == 0:
             return sympy.S.Zero
 
         # a*1 -> a
-        if scalar == 1:
+        if int(scalar) == 1:
             args = others
         else:
             args = [scalar] + others