From e6124e8559c745b14f5fe1063ba5d52799e808e0 Mon Sep 17 00:00:00 2001
From: hanyuone <hanyuan.li@unsw.edu.au>
Date: Fri, 31 Jul 2026 11:21:59 +1000
Subject: [PATCH] feat: add support for IntervalValue with float constructors

---
 pysvf/pysvf.pyi | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pysvf/pysvf.pyi b/pysvf/pysvf.pyi
index 97315ee..8da22a4 100644
--- a/pysvf/pysvf.pyi
+++ b/pysvf/pysvf.pyi
@@ -1841,6 +1841,8 @@ class IntervalValue:
     @overload
     def __init__(self, lb: int, ub: int) -> None: ...
     @overload
+    def __init__(self, lb: float, ub: float) -> None: ...
+    @overload
     def __init__(self, lb: BoundedInt, ub: BoundedInt) -> None: ...
     @overload
     def __init__(self, val: int) -> None: ...