hdl._ast.Shape: cast width to int

amaranth/hdl/_ast.py

@@ -73,7 +73,7 @@ def __init__(self, width=1, signed=False):
                             f"not {width}")
         if signed and width <= 0:
             raise TypeError(f"Width of a signed value must be a positive integer, not {width}")
-        self._width = width
+        self._width = operator.index(width)
         self._signed = bool(signed)
 
     @property