diff --git a/builtin/builtin.mbti b/builtin/builtin.mbti
index 4ea3ccd39..dc6d53e79 100644
--- a/builtin/builtin.mbti
+++ b/builtin/builtin.mbti
@@ -433,6 +433,7 @@ impl Int {
   to_json(Int) -> Json
   to_string(Int) -> String
   to_uint(Int) -> UInt //deprecated
+  to_uint64(Int) -> UInt64
   until(Int, Int, ~step : Int = .., ~inclusive : Bool = ..) -> Iter[Int]
   upto(Int, Int, ~inclusive : Bool = ..) -> Iter[Int] //deprecated
 }
diff --git a/builtin/intrinsics.mbt b/builtin/intrinsics.mbt
index 98a0bfabd..6ad779b88 100644
--- a/builtin/intrinsics.mbt
+++ b/builtin/intrinsics.mbt
@@ -110,6 +110,10 @@ pub fn Int::reinterpret_as_uint(self : Int) -> UInt = "%i32.to_u32_reinterpret"
 pub fn Int::to_uint(self : Int) -> UInt = "%i32.to_u32_reinterpret"
 // Double primitive ops
 
+pub fn Int::to_uint64(self : Int) -> UInt64 {
+  self.to_int64().reinterpret_as_uint64()
+}
+
 pub fn Double::op_neg(self : Double) -> Double = "%f64_neg"
 
 pub fn Double::op_add(self : Double, other : Double) -> Double = "%f64_add"
diff --git a/builtin/intrinsics_test.mbt b/builtin/intrinsics_test.mbt
index 95de60312..ce45e103d 100644
--- a/builtin/intrinsics_test.mbt
+++ b/builtin/intrinsics_test.mbt
@@ -384,3 +384,28 @@ test "Char::to_uint - Unicode Characters" {
   inspect!(Char::to_uint('⚡'), content="9889")
   inspect!(Char::to_uint('♫'), content="9835")
 }
+
+test "Int::to_uint64 - Boundary Cases" {
+  inspect!(Int::to_uint64(0), content="0")
+  inspect!(Int::to_uint64(1), content="1")
+  inspect!(Int::to_uint64(-1), content="18446744073709551615")
+  inspect!(Int::to_uint64(2147483647), content="2147483647")
+  inspect!(Int::to_uint64(-2147483648), content="18446744071562067968")
+}
+
+test "Int::to_uint64 - Random Cases" {
+  inspect!(Int::to_uint64(123456789), content="123456789")
+  inspect!(Int::to_uint64(-987654321), content="18446744072721897295")
+  inspect!(Int::to_uint64(987654321), content="987654321")
+  inspect!(Int::to_uint64(-123456789), content="18446744073586094827")
+}
+
+test "Int::to_uint64 - Edge Cases with Zero" {
+  inspect!(Int::to_uint64(0), content="0")
+  inspect!(Int::to_uint64(-0), content="0")
+}
+
+test "Int::to_uint64 - Random Values" {
+  inspect!(Int::to_uint64(1234567890), content="1234567890")
+  inspect!(Int::to_uint64(-1234567890), content="18446744072474983726")
+}