diff --git a/frontends/PyRTG/src/CMakeLists.txt b/frontends/PyRTG/src/CMakeLists.txt
index a7d9b526c505..7236c08247f3 100644
--- a/frontends/PyRTG/src/CMakeLists.txt
+++ b/frontends/PyRTG/src/CMakeLists.txt
@@ -15,6 +15,8 @@ declare_mlir_python_sources(PyRTGSources
   SOURCES
   pyrtg/__init__.py
   pyrtg/core.py
+  pyrtg/index.py
+  pyrtg/integers.py
   pyrtg/labels.py
   pyrtg/rtg.py
   pyrtg/sets.py
diff --git a/frontends/PyRTG/src/pyrtg/__init__.py b/frontends/PyRTG/src/pyrtg/__init__.py
index 08ab952462b1..d2bc54a9326d 100644
--- a/frontends/PyRTG/src/pyrtg/__init__.py
+++ b/frontends/PyRTG/src/pyrtg/__init__.py
@@ -7,4 +7,6 @@
 from .tests import test
 from .labels import Label
 from .rtg import rtg
+from .index import index
 from .sets import Set
+from .integers import Integer
diff --git a/frontends/PyRTG/src/pyrtg/index.py b/frontends/PyRTG/src/pyrtg/index.py
new file mode 100644
index 000000000000..cae75f41c0f6
--- /dev/null
+++ b/frontends/PyRTG/src/pyrtg/index.py
@@ -0,0 +1,8 @@
+#  Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+#  See https://llvm.org/LICENSE.txt for license information.
+#  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+from .support import wrap_opviews_with_values
+from .circt.dialects import index
+
+wrap_opviews_with_values(index, index.__name__)
diff --git a/frontends/PyRTG/src/pyrtg/integers.py b/frontends/PyRTG/src/pyrtg/integers.py
new file mode 100644
index 000000000000..ba7db8dc25fb
--- /dev/null
+++ b/frontends/PyRTG/src/pyrtg/integers.py
@@ -0,0 +1,51 @@
+#  Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+#  See https://llvm.org/LICENSE.txt for license information.
+#  SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+from __future__ import annotations
+
+from .circt import ir
+from .core import Value
+from .index import index
+
+import typing
+
+
+class Integer(Value):
+  """
+  This represents an integer with the same number of bits as a 'size_t' in C.
+  It is used to provide parameter values to meta-level constructs such as the
+  multiple of an element in a Bag. These integers will be fully constant folded
+  away during randomization.
+  """
+
+  def __init__(self, value: typing.Union[ir.Value, int]) -> Integer:
+    """
+    Use this constructor to create an Integer from a builtin Python int.
+    """
+
+    self._value = value
+
+  def __add__(self, other: Integer) -> Integer:
+    return index.AddOp(self._get_ssa_value(), other._get_ssa_value())
+
+  def __sub__(self, other: Integer) -> Integer:
+    return index.SubOp(self._get_ssa_value(), other._get_ssa_value())
+
+  def __and__(self, other: Integer) -> Integer:
+    return index.AndOp(self._get_ssa_value(), other._get_ssa_value())
+
+  def __or__(self, other: Integer) -> Integer:
+    return index.OrOp(self._get_ssa_value(), other._get_ssa_value())
+
+  def __xor__(self, other: Integer) -> Integer:
+    return index.XOrOp(self._get_ssa_value(), other._get_ssa_value())
+
+  def get_type(self) -> ir.Type:
+    return ir.IndexType.get()
+
+  def _get_ssa_value(self) -> ir.Value:
+    if isinstance(self._value, int):
+      self = index.ConstantOp(self._value)
+
+    return self._value
diff --git a/frontends/PyRTG/src/pyrtg/labels.py b/frontends/PyRTG/src/pyrtg/labels.py
index bb360810773b..d9a4b844e7af 100644
--- a/frontends/PyRTG/src/pyrtg/labels.py
+++ b/frontends/PyRTG/src/pyrtg/labels.py
@@ -7,6 +7,9 @@
 from .circt import ir
 from .core import Value
 from .rtg import rtg
+from .integers import Integer
+
+from typing import Union
 
 
 class Label(Value):
@@ -22,15 +25,17 @@ class Label(Value):
   def __init__(self, value: ir.Value):
     self._value = value
 
-  def declare(string: str) -> Label:
+  def declare(string: str, *args: Union[Integer, int]) -> Label:
     """
     Declares a label with a fixed name. Labels returned by different calls to
     this function but with the same arguments refer to the same label.
     """
 
-    return rtg.LabelDeclOp(string, [])
+    return rtg.LabelDeclOp(
+        string,
+        [(arg if isinstance(arg, Integer) else Integer(arg)) for arg in args])
 
-  def declare_unique(string: str) -> Label:
+  def declare_unique(string: str, *args: Union[Integer, int]) -> Label:
     """
     Declares a unique label. This means, all usages of the value returned by this
     function will refer to the same label, but no other label declarations can
@@ -38,7 +43,9 @@ def declare_unique(string: str) -> Label:
     function or fixed labels declared with 'declare_label'.
     """
 
-    return rtg.LabelUniqueDeclOp(string, [])
+    return rtg.LabelUniqueDeclOp(
+        string,
+        [(arg if isinstance(arg, Integer) else Integer(arg)) for arg in args])
 
   def place(
       self,
diff --git a/frontends/PyRTG/src/pyrtg/support.py b/frontends/PyRTG/src/pyrtg/support.py
index b0a71ca6a9b9..a65bc2d2eb5d 100644
--- a/frontends/PyRTG/src/pyrtg/support.py
+++ b/frontends/PyRTG/src/pyrtg/support.py
@@ -15,6 +15,9 @@ def _FromCirctValue(value: ir.Value) -> Value:
   if isinstance(type, rtg.SetType):
     from .sets import Set
     return Set(value)
+  if isinstance(type, ir.IndexType):
+    from .integers import Integer
+    return Integer(value)
   assert False, "Unsupported value"
 
 
diff --git a/frontends/PyRTG/test/basic.py b/frontends/PyRTG/test/basic.py
index 61971743a9f3..7fd4ce3a2cdc 100644
--- a/frontends/PyRTG/test/basic.py
+++ b/frontends/PyRTG/test/basic.py
@@ -2,7 +2,7 @@
 # RUN: %rtgtool% %s --seed=0 --output-format=elaborated | FileCheck %s --check-prefix=ELABORATED
 # RUN: %rtgtool% %s --seed=0 -o %t --output-format=asm && FileCheck %s --input-file=%t --check-prefix=ASM
 
-from pyrtg import test, rtg, Label, Set
+from pyrtg import test, rtg, Label, Set, Integer
 
 # MLIR-LABEL: rtg.test @test0
 # MLIR-NEXT: }
@@ -20,6 +20,8 @@ def test0():
 
 
 # MLIR-LABEL: rtg.test @test_labels
+# MLIR-NEXT: index.constant 5
+# MLIR-NEXT: index.constant 3
 # MLIR-NEXT: [[L0:%.+]] = rtg.label_decl "l0"
 # MLIR-NEXT: [[L1:%.+]] = rtg.label_unique_decl "l1"
 # MLIR-NEXT: [[L2:%.+]] = rtg.label_unique_decl "l1"
@@ -38,6 +40,11 @@ def test0():
 # MLIR-NEXT: [[RL1:%.+]] = rtg.set_select_random [[SET2_MINUS_SET0]] : !rtg.set<!rtg.label>
 # MLIR-NEXT: rtg.label local [[RL1]]
 
+# MLIR-NEXT: rtg.label_decl "L_{{[{][{]0[}][}]}}", %idx5
+# MLIR-NEXT: rtg.label local
+# MLIR-NEXT: rtg.label_decl "L_{{[{][{]0[}][}]}}", %idx3
+# MLIR-NEXT: rtg.label local
+
 # MLIR-NEXT: }
 
 # ELABORATED-LABEL: rtg.test @test_labels
@@ -51,6 +58,11 @@ def test0():
 # ELABORATED-NEXT: rtg.label local [[L0]]
 # ELABORATED-NEXT: rtg.label local [[L2]]
 
+# ELABORATED-NEXT: rtg.label_decl "L_5"
+# ELABORATED-NEXT: rtg.label local
+# ELABORATED-NEXT: rtg.label_decl "L_3"
+# ELABORATED-NEXT: rtg.label local
+
 # ELABORATED-NEXT: }
 
 # ASM-LABEL: Begin of test_labels
@@ -63,6 +75,9 @@ def test0():
 # ASM-NEXT: l0:
 # ASM-NEXT: l1_1:
 
+# ASM-NEXT: L_5:
+# ASM-NEXT: L_3:
+
 # ASM-EMPTY:
 # ASM: End of test_labels
 
@@ -86,3 +101,11 @@ def test_labels():
   set2 -= set0
   rl1 = set2.get_random_and_exclude()
   rl1.place()
+
+  sub = Integer(1) - Integer(2)
+  add = (sub & Integer(4) | Integer(3) ^ Integer(5))
+  add += sub
+  l3 = Label.declare(r"L_{{0}}", add)
+  l3.place()
+  l4 = Label.declare(r"L_{{0}}", 3)
+  l4.place()
diff --git a/lib/Bindings/Python/CIRCTModule.cpp b/lib/Bindings/Python/CIRCTModule.cpp
index 377d39955ee3..d991ba6a30b6 100644
--- a/lib/Bindings/Python/CIRCTModule.cpp
+++ b/lib/Bindings/Python/CIRCTModule.cpp
@@ -33,6 +33,7 @@
 #include "circt-c/Dialect/Verif.h"
 #include "circt-c/ExportVerilog.h"
 #include "mlir-c/Bindings/Python/Interop.h"
+#include "mlir-c/Dialect/Index.h"
 #include "mlir-c/IR.h"
 #include "mlir-c/Transforms.h"
 #include "mlir/Bindings/Python/NanobindAdaptors.h"
@@ -101,6 +102,10 @@ NB_MODULE(_circt, m) {
         mlirDialectHandleRegisterDialect(hwarith, context);
         mlirDialectHandleLoadDialect(hwarith, context);
 
+        MlirDialectHandle index = mlirGetDialectHandle__index__();
+        mlirDialectHandleRegisterDialect(index, context);
+        mlirDialectHandleLoadDialect(index, context);
+
         MlirDialectHandle om = mlirGetDialectHandle__om__();
         mlirDialectHandleRegisterDialect(om, context);
         mlirDialectHandleLoadDialect(om, context);
diff --git a/lib/Bindings/Python/CMakeLists.txt b/lib/Bindings/Python/CMakeLists.txt
index 1d58d2c4689e..cf7fa648b2de 100644
--- a/lib/Bindings/Python/CMakeLists.txt
+++ b/lib/Bindings/Python/CMakeLists.txt
@@ -52,6 +52,7 @@ set(PYTHON_BINDINGS_LINK_LIBS
   CIRCTCAPISV
   CIRCTCAPIVerif
   CIRCTCAPITransforms
+  MLIRCAPIIndex
   # needed for mlirFrozenRewritePatternSetDestroy
   # but not the actual passes
   MLIRCAPITransforms
@@ -139,6 +140,15 @@ declare_mlir_dialect_python_bindings(
     dialects/hw.py
   DIALECT_NAME hw)
 
+declare_mlir_dialect_python_bindings(
+  ADD_TO_PARENT CIRCTBindingsPythonSources.Dialects
+  ROOT_DIR "${MLIR_MAIN_SRC_DIR}/python/mlir"
+  TD_FILE dialects/IndexOps.td
+  SOURCES
+    dialects/index.py
+  DIALECT_NAME index
+  GEN_ENUM_BINDINGS)
+
 declare_mlir_dialect_python_bindings(
   ADD_TO_PARENT CIRCTBindingsPythonSources.Dialects
   ROOT_DIR "${CMAKE_CURRENT_SOURCE_DIR}"