From bc70ce496d02a2737f269c4304df56fc300ac5e0 Mon Sep 17 00:00:00 2001
From: Fabio Luporini <fabio@devitocodes.com>
Date: Mon, 6 Oct 2025 11:04:04 +0100
Subject: [PATCH] compiler: Intify StencilDimension attributes

---
 devito/types/dimension.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/devito/types/dimension.py b/devito/types/dimension.py
index 39ee087e5d..f2e6ad5324 100644
--- a/devito/types/dimension.py
+++ b/devito/types/dimension.py
@@ -1567,9 +1567,9 @@ def __init_finalize__(self, name, _min, _max, spacing=1, step=1,
         if not is_integer(step):
             raise ValueError("Expected integer `step` (got %s)" % step)
 
-        self._min = _min
-        self._max = _max
-        self._step = step
+        self._min = int(_min)
+        self._max = int(_max)
+        self._step = int(step)
 
         self._size = _max - _min + 1