From f42114bf436af25f63d9b1ae47835f2d9c05ddce Mon Sep 17 00:00:00 2001
From: jan <jan@orange.mpxd.net>
Date: Sun, 8 Mar 2026 22:47:22 -0700
Subject: [PATCH] [gdsii] explicitly cast cap_extensions to int

---
 masque/file/gdsii.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/masque/file/gdsii.py b/masque/file/gdsii.py
index fa49eb3..c20200c 100644
--- a/masque/file/gdsii.py
+++ b/masque/file/gdsii.py
@@ -453,7 +453,7 @@ def _shapes_to_elements(
 
                 extension: tuple[int, int]
                 if shape.cap == Path.Cap.SquareCustom and shape.cap_extensions is not None:
-                    extension = tuple(shape.cap_extensions)     # type: ignore
+                    extension = tuple(rint_cast(shape.cap_extensions))
                 else:
                     extension = (0, 0)