diff --git a/libs/fixed_point/src/ifp128.sw b/libs/fixed_point/src/ifp128.sw
index e4374bea..488d4b01 100644
--- a/libs/fixed_point/src/ifp128.sw
+++ b/libs/fixed_point/src/ifp128.sw
@@ -34,7 +34,7 @@ impl IFP128 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `IFP128` type.
+    /// [u64] - The defined size of the `IFP128` type.
     ///
     /// # Examples
     ///
@@ -43,10 +43,10 @@ impl IFP128 {
     ///
     /// fn foo() {
     ///     let bits = IFP128::bits();
-    ///     assert(bits == 72u32);
+    ///     assert(bits == 72);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         72
     }
 
diff --git a/libs/fixed_point/src/ifp256.sw b/libs/fixed_point/src/ifp256.sw
index 56196c4a..85bc7d7e 100644
--- a/libs/fixed_point/src/ifp256.sw
+++ b/libs/fixed_point/src/ifp256.sw
@@ -34,7 +34,7 @@ impl IFP256 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `IFP256` type.
+    /// [u64] - The defined size of the `IFP256` type.
     ///
     /// # Examples
     ///
@@ -43,10 +43,10 @@ impl IFP256 {
     ///
     /// fn foo() {
     ///     let bits = IFP256::bits();
-    ///     assert(bits == 136u32);
+    ///     assert(bits == 136);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         136
     }
 
diff --git a/libs/fixed_point/src/ifp64.sw b/libs/fixed_point/src/ifp64.sw
index b2e96404..e67e744f 100644
--- a/libs/fixed_point/src/ifp64.sw
+++ b/libs/fixed_point/src/ifp64.sw
@@ -34,7 +34,7 @@ impl IFP64 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `IFP64` type.
+    /// [u64] - The defined size of the `IFP64` type.
     ///
     /// # Examples
     ///
@@ -43,10 +43,10 @@ impl IFP64 {
     ///
     /// fn foo() {
     ///     let bits = IFP64::bits();
-    ///     assert(bits == 64u32);
+    ///     assert(bits == 64);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         64
     }
 
diff --git a/libs/fixed_point/src/ufp128.sw b/libs/fixed_point/src/ufp128.sw
index bdcb94ba..d4b936ee 100644
--- a/libs/fixed_point/src/ufp128.sw
+++ b/libs/fixed_point/src/ufp128.sw
@@ -97,7 +97,7 @@ impl UFP128 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `UFP128` type.
+    /// [u64] - The defined size of the `UFP128` type.
     ///
     /// # Examples
     ///
@@ -106,10 +106,10 @@ impl UFP128 {
     ///
     /// fn foo() {
     ///     let bits = UFP128::bits();
-    ///     assert(bits == 128u32);
+    ///     assert(bits == 128);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         128
     }
 }
diff --git a/libs/fixed_point/src/ufp32.sw b/libs/fixed_point/src/ufp32.sw
index fdb559f3..eb274ced 100644
--- a/libs/fixed_point/src/ufp32.sw
+++ b/libs/fixed_point/src/ufp32.sw
@@ -28,7 +28,7 @@ impl UFP32 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `UFP32` type.
+    /// [u64] - The defined size of the `UFP32` type.
     ///
     /// # Examples
     ///
@@ -37,10 +37,10 @@ impl UFP32 {
     ///
     /// fn foo() {
     ///     let bits = UFP32::bits();
-    ///     assert(bits == 32u32);
+    ///     assert(bits == 32);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         32
     }
 
diff --git a/libs/fixed_point/src/ufp64.sw b/libs/fixed_point/src/ufp64.sw
index 697d44b2..de16417a 100644
--- a/libs/fixed_point/src/ufp64.sw
+++ b/libs/fixed_point/src/ufp64.sw
@@ -28,7 +28,7 @@ impl UFP64 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `UFP64` type.
+    /// [u64] - The defined size of the `UFP64` type.
     ///
     /// # Examples
     ///
@@ -37,10 +37,10 @@ impl UFP64 {
     ///
     /// fn foo() {
     ///     let bits = UFP64::bits();
-    ///     assert(bits == 64u32);
+    ///     assert(bits == 64);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         64
     }
 
diff --git a/libs/signed_integers/src/i128.sw b/libs/signed_integers/src/i128.sw
index 988a8ded..8a53ea33 100644
--- a/libs/signed_integers/src/i128.sw
+++ b/libs/signed_integers/src/i128.sw
@@ -76,7 +76,7 @@ impl I128 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `I128` type.
+    /// [u64] - The defined size of the `I128` type.
     ///
     /// # Examples
     ///
@@ -85,10 +85,10 @@ impl I128 {
     ///
     /// fn foo() {
     ///     let bits = I128::bits();
-    ///     assert(bits == 128u32);
+    ///     assert(bits == 128);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         128
     }
 
diff --git a/libs/signed_integers/src/i16.sw b/libs/signed_integers/src/i16.sw
index a1c81da2..b269801f 100644
--- a/libs/signed_integers/src/i16.sw
+++ b/libs/signed_integers/src/i16.sw
@@ -71,7 +71,7 @@ impl I16 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `I16` type.
+    /// [u64] - The defined size of the `I16` type.
     ///
     /// # Examples
     ///
@@ -80,10 +80,10 @@ impl I16 {
     ///
     /// fn foo() {
     ///     let bits = I16::bits();
-    ///     assert(bits == 16u32);
+    ///     assert(bits == 16);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         16
     }
 
diff --git a/libs/signed_integers/src/i256.sw b/libs/signed_integers/src/i256.sw
index a7c3f382..c0477c69 100644
--- a/libs/signed_integers/src/i256.sw
+++ b/libs/signed_integers/src/i256.sw
@@ -76,7 +76,7 @@ impl I256 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `I256` type.
+    /// [u64] - The defined size of the `I256` type.
     ///
     /// # Examples
     ///
@@ -85,10 +85,10 @@ impl I256 {
     ///
     /// fn foo() {
     ///     let bits = I256::bits();
-    ///     assert(bits == 128u32);
+    ///     assert(bits == 128);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         128
     }
 
diff --git a/libs/signed_integers/src/i32.sw b/libs/signed_integers/src/i32.sw
index fc28bd66..d2efe449 100644
--- a/libs/signed_integers/src/i32.sw
+++ b/libs/signed_integers/src/i32.sw
@@ -70,7 +70,7 @@ impl I32 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `I32` type.
+    /// [u64] - The defined size of the `I32` type.
     ///
     /// # Examples
     ///
@@ -79,10 +79,10 @@ impl I32 {
     ///
     /// fn foo() {
     ///     let bits = I32::bits();
-    ///     assert(bits == 32u32);
+    ///     assert(bits == 32);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         32
     }
 
diff --git a/libs/signed_integers/src/i64.sw b/libs/signed_integers/src/i64.sw
index b21dff4d..b88fd26a 100644
--- a/libs/signed_integers/src/i64.sw
+++ b/libs/signed_integers/src/i64.sw
@@ -70,7 +70,7 @@ impl I64 {
     ///
     /// # Returns
     ///
-    /// [u32] - The defined size of the `I64` type.
+    /// [u64] - The defined size of the `I64` type.
     ///
     /// # Examples
     ///
@@ -79,10 +79,10 @@ impl I64 {
     ///
     /// fn foo() {
     ///     let bits = I64::bits();
-    ///     assert(bits == 64u32);
+    ///     assert(bits == 64);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         64
     }
 
diff --git a/libs/signed_integers/src/i8.sw b/libs/signed_integers/src/i8.sw
index fea1776f..477ed25a 100644
--- a/libs/signed_integers/src/i8.sw
+++ b/libs/signed_integers/src/i8.sw
@@ -70,7 +70,7 @@ impl I8 {
     ///
     /// # Returns
     ///
-    /// * [u32] - The number of bits.
+    /// * [u64] - The number of bits.
     ///
     /// # Examples
     ///
@@ -79,10 +79,10 @@ impl I8 {
     ///
     /// fn foo() {
     ///     let bits = I8::bits();
-    ///     assert(bits == 8u32);
+    ///     assert(bits == 8);
     /// }
     /// ```
-    pub fn bits() -> u32 {
+    pub fn bits() -> u64 {
         8
     }