diff --git a/EXTERNAL_NOIR_LIBRARIES.yml b/EXTERNAL_NOIR_LIBRARIES.yml
index 65284c45326..519783b1cee 100644
--- a/EXTERNAL_NOIR_LIBRARIES.yml
+++ b/EXTERNAL_NOIR_LIBRARIES.yml
@@ -113,7 +113,7 @@ libraries:
     repo: AztecProtocol/aztec-packages
     ref: *AZ_COMMIT
     path: noir-projects/noir-protocol-circuits/crates/rollup-lib
-    timeout: 625
+    timeout: 700
     critical: false
     # Use 1 test threads for rollup-lib because each test requires a lot of memory, and multiple ones in parallel exceed the maximum memory limit.
     nargo_args: "--test-threads 1"
diff --git a/compiler/noirc_evaluator/src/acir/acir_context/generated_acir/mod.rs b/compiler/noirc_evaluator/src/acir/acir_context/generated_acir/mod.rs
index 39744eaaea1..e9e85b57146 100644
--- a/compiler/noirc_evaluator/src/acir/acir_context/generated_acir/mod.rs
+++ b/compiler/noirc_evaluator/src/acir/acir_context/generated_acir/mod.rs
@@ -378,6 +378,10 @@ impl<F: AcirField> GeneratedAcir<F> {
         }
 
         self.assert_is_zero(input_expr - &composed_limbs);
+        let assertion_payload = self.generate_assertion_message_payload(format!(
+            "Field failed to decompose into specified {limb_count} limbs"
+        ));
+        self.assertion_payloads.insert(self.last_acir_opcode_location(), assertion_payload);
 
         Ok(limb_witnesses)
     }
diff --git a/test_programs/noir_test_success/to_radix_error/Nargo.toml b/test_programs/noir_test_success/to_radix_error/Nargo.toml
new file mode 100644
index 00000000000..af37fc09010
--- /dev/null
+++ b/test_programs/noir_test_success/to_radix_error/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "to_radix_error"
+type = "bin"
+authors = [""]
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/noir_test_success/to_radix_error/src/main.nr b/test_programs/noir_test_success/to_radix_error/src/main.nr
new file mode 100644
index 00000000000..a27e1bbf037
--- /dev/null
+++ b/test_programs/noir_test_success/to_radix_error/src/main.nr
@@ -0,0 +1,29 @@
+fn constrained_le_decompose(x: Field) -> [u8; 16] {
+    let x_bytes: [u8; 16] = x.to_le_bytes();
+    println(x);
+    println(x_bytes);
+    x_bytes
+}
+
+unconstrained fn brillig_le_decompose(x: Field) -> [u8; 16] {
+    constrained_le_decompose(x)
+}
+
+#[test]
+fn test_acir_field_fits() {
+    let _ = constrained_le_decompose(0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF);
+}
+
+#[test(should_fail_with = "Field failed to decompose into specified 16 limbs")]
+fn test_acir_field_too_big() {
+    // One greater than `0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF`
+    let _ = constrained_le_decompose(0x100000000000000000000000000000000);
+}
+
+// We do not constrain a decomposition in Brillig. We instead just write up to the number of specified limbs,
+// thus this does not fail in Brillig where the number of limbs determines the correctness of the byte decomposition.
+#[test]
+fn test_brillig() {
+    // Safety: testing context
+    let _ = unsafe { brillig_le_decompose(0x100000000000000000000000000000000) };
+}
diff --git a/tooling/debugger/ignored-noir-tests.txt b/tooling/debugger/ignored-noir-tests.txt
index d049ddb8bcd..aba9f2cb844 100644
--- a/tooling/debugger/ignored-noir-tests.txt
+++ b/tooling/debugger/ignored-noir-tests.txt
@@ -12,3 +12,4 @@ test_add
 test_add_and_show
 test_sort
 test_sort_comptime
+test_acir_field_too_big
\ No newline at end of file
diff --git a/tooling/debugger/ignored-tests.txt b/tooling/debugger/ignored-tests.txt
index 57b7297f5a5..75181cce11e 100644
--- a/tooling/debugger/ignored-tests.txt
+++ b/tooling/debugger/ignored-tests.txt
@@ -16,3 +16,4 @@ array_rc_regression_7842
 mutate_array_copy
 regression_8229
 regression_8926
+to_radix_error
\ No newline at end of file
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 9da65ab4dfe..0b1f886e850 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -61,6 +61,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "5019202896831570965": {
         "error_kind": "string",
         "string": "attempt to add with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_0.snap
index 9da65ab4dfe..0b1f886e850 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_0.snap
@@ -61,6 +61,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "5019202896831570965": {
         "error_kind": "string",
         "string": "attempt to add with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 9da65ab4dfe..0b1f886e850 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/a_7_function/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -61,6 +61,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "5019202896831570965": {
         "error_kind": "string",
         "string": "attempt to add with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index e5b04b37399..31d0d6a028c 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -40,7 +40,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_0.snap
index e5b04b37399..31d0d6a028c 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_0.snap
@@ -40,7 +40,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index e5b04b37399..31d0d6a028c 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/array_len/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -40,7 +40,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index c6e9abb9d35..a0d59f0287a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -36,6 +36,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to add with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "7233212735005103307": {
         "error_kind": "string",
         "string": "attempt to multiply with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_0.snap
index c6e9abb9d35..a0d59f0287a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_0.snap
@@ -36,6 +36,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to add with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "7233212735005103307": {
         "error_kind": "string",
         "string": "attempt to multiply with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index c6e9abb9d35..a0d59f0287a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/binary_operator_overloading/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -36,6 +36,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to add with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "7233212735005103307": {
         "error_kind": "string",
         "string": "attempt to multiply with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 0fea699fb7b..5337680f779 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -50,6 +50,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to subtract with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "14514982005979867414": {
         "error_kind": "string",
         "string": "attempt to bit-shift with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap
index 0fea699fb7b..5337680f779 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_0.snap
@@ -50,6 +50,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to subtract with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "14514982005979867414": {
         "error_kind": "string",
         "string": "attempt to bit-shift with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 0fea699fb7b..5337680f779 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/bit_shifts_runtime/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -50,6 +50,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to subtract with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "14514982005979867414": {
         "error_kind": "string",
         "string": "attempt to bit-shift with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index f7b391c0380..e48f6cf88ae 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -21,7 +21,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_0.snap
index f7b391c0380..e48f6cf88ae 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_0.snap
@@ -21,7 +21,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index f7b391c0380..e48f6cf88ae 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/hash_to_field/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -21,7 +21,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index ec0887864d7..ad15723bd1a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -56,6 +56,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      },
       "17843811134343075018": {
         "error_kind": "string",
         "string": "Stack too deep"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_0.snap
index ec0887864d7..ad15723bd1a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_0.snap
@@ -56,6 +56,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      },
       "17843811134343075018": {
         "error_kind": "string",
         "string": "Stack too deep"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index ec0887864d7..ad15723bd1a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/merkle_insert/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -56,6 +56,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      },
       "17843811134343075018": {
         "error_kind": "string",
         "string": "Stack too deep"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 91812c5ad1c..67a877fa22e 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -25,7 +25,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_0.snap
index 91812c5ad1c..67a877fa22e 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_0.snap
@@ -25,7 +25,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 91812c5ad1c..67a877fa22e 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/ram_blowup_regression/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -25,7 +25,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 168cec8cfba..7d082a3cd12 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -22,6 +22,10 @@ expression: artifact
       "visibility": "public"
     },
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "6485997221020871071": {
         "error_kind": "string",
         "string": "call to assert_max_bit_size"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_0.snap
index 168cec8cfba..7d082a3cd12 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_0.snap
@@ -22,6 +22,10 @@ expression: artifact
       "visibility": "public"
     },
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "6485997221020871071": {
         "error_kind": "string",
         "string": "call to assert_max_bit_size"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 168cec8cfba..7d082a3cd12 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/regression_7128/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -22,6 +22,10 @@ expression: artifact
       "visibility": "public"
     },
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "6485997221020871071": {
         "error_kind": "string",
         "string": "call to assert_max_bit_size"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index e4f7ccfa9b8..f8e48e56037 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -18,7 +18,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_0.snap
index e4f7ccfa9b8..f8e48e56037 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_0.snap
@@ -18,7 +18,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index e4f7ccfa9b8..f8e48e56037 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/shift_right_overflow/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -18,7 +18,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index e4fd09aa3e0..00db4e53352 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -16,7 +16,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_0.snap
index e4fd09aa3e0..00db4e53352 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_0.snap
@@ -16,7 +16,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index e4fd09aa3e0..00db4e53352 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/simple_radix/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -16,7 +16,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index e109217a8d8..5952cc3676a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -65,6 +65,10 @@ expression: artifact
       "visibility": "public"
     },
     "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      },
       "17843811134343075018": {
         "error_kind": "string",
         "string": "Stack too deep"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_0.snap
index e109217a8d8..5952cc3676a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_0.snap
@@ -65,6 +65,10 @@ expression: artifact
       "visibility": "public"
     },
     "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      },
       "17843811134343075018": {
         "error_kind": "string",
         "string": "Stack too deep"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index e109217a8d8..5952cc3676a 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/simple_shield/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -65,6 +65,10 @@ expression: artifact
       "visibility": "public"
     },
     "error_types": {
+      "15625123961815045929": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 3 limbs"
+      },
       "17843811134343075018": {
         "error_kind": "string",
         "string": "Stack too deep"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 383ed9b2145..3140af8dbff 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -24,6 +24,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "5019202896831570965": {
         "error_kind": "string",
         "string": "attempt to add with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_0.snap
index 383ed9b2145..3140af8dbff 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_0.snap
@@ -24,6 +24,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "5019202896831570965": {
         "error_kind": "string",
         "string": "attempt to add with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 383ed9b2145..3140af8dbff 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/slices/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -24,6 +24,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "285656119219400463": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 32 limbs"
+      },
       "5019202896831570965": {
         "error_kind": "string",
         "string": "attempt to add with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index cee7eba261e..02326328ccb 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -27,7 +27,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_0.snap
index cee7eba261e..02326328ccb 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_0.snap
@@ -27,7 +27,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index cee7eba261e..02326328ccb 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_be_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -27,7 +27,12 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 9b95f9cc0a7..2133ad21594 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -16,7 +16,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_0.snap
index 9b95f9cc0a7..2133ad21594 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_0.snap
@@ -16,7 +16,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 9b95f9cc0a7..2133ad21594 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_consistent/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -16,7 +16,12 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 5b997a472d2..a2c123673b9 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -23,7 +23,16 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      },
+      "12161378539035059347": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 254 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_0.snap
index 5b997a472d2..a2c123673b9 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_0.snap
@@ -23,7 +23,16 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      },
+      "12161378539035059347": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 254 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 5b997a472d2..a2c123673b9 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_bytes_integration/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -23,7 +23,16 @@ expression: artifact
       }
     ],
     "return_type": null,
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      },
+      "12161378539035059347": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 254 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 80ee892a0ff..1ef5cbb677d 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -34,7 +34,16 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      },
+      "11856048133850814249": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 1 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_0.snap
index 80ee892a0ff..1ef5cbb677d 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_0.snap
@@ -34,7 +34,16 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      },
+      "11856048133850814249": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 1 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 80ee892a0ff..1ef5cbb677d 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/to_le_bytes/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -34,7 +34,16 @@ expression: artifact
       },
       "visibility": "public"
     },
-    "error_types": {}
+    "error_types": {
+      "8403890105346170400": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 31 limbs"
+      },
+      "11856048133850814249": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 1 limbs"
+      }
+    }
   },
   "bytecode": [
     "func 0",
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 0a3764a4312..38e9ddd4b23 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -45,6 +45,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to add with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "7233212735005103307": {
         "error_kind": "string",
         "string": "attempt to multiply with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_0.snap
index 0a3764a4312..38e9ddd4b23 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_0.snap
@@ -45,6 +45,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to add with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "7233212735005103307": {
         "error_kind": "string",
         "string": "attempt to multiply with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index 0a3764a4312..38e9ddd4b23 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/u128_type/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -45,6 +45,10 @@ expression: artifact
         "error_kind": "string",
         "string": "attempt to add with overflow"
       },
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "7233212735005103307": {
         "error_kind": "string",
         "string": "attempt to multiply with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap b/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
index 7d527614f37..9129260cc37 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_-9223372036854775808.snap
@@ -19,6 +19,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "14514982005979867414": {
         "error_kind": "string",
         "string": "attempt to bit-shift with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_0.snap
index b83d0c89e8d..fd4f9c3ca87 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_0.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_0.snap
@@ -19,6 +19,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "14514982005979867414": {
         "error_kind": "string",
         "string": "attempt to bit-shift with overflow"
diff --git a/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_9223372036854775807.snap b/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
index b83d0c89e8d..fd4f9c3ca87 100644
--- a/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
+++ b/tooling/nargo_cli/tests/snapshots/execution_success/u16_support/execute__tests__force_brillig_false_inliner_9223372036854775807.snap
@@ -19,6 +19,10 @@ expression: artifact
     ],
     "return_type": null,
     "error_types": {
+      "5795655218219125583": {
+        "error_kind": "string",
+        "string": "Field failed to decompose into specified 8 limbs"
+      },
       "14514982005979867414": {
         "error_kind": "string",
         "string": "attempt to bit-shift with overflow"