basedpyright: add a cast.

Author: kaushikcfd

loopy/type_inference.py

@@ -449,7 +449,9 @@ def _map_int_div_modulo(self, expr: p.FloorDiv | p.Remainder):
             else expr.denominator
         )
         denom = (
-            denom + 1 if is_integer(denom) and denom == 0 else denom
+            cast("int | np.integer", denom + 1)
+            if is_integer(denom) and denom == 0
+            else denom
         )  # avoid divide by zero.
 
         if is_integer(num) and is_integer(denom):