diff --git a/crates/curves/src/ecdsa_secp256k1/fp.nr b/crates/curves/src/ecdsa_secp256k1/fp.nr
index f6ca954..31a65d9 100644
--- a/crates/curves/src/ecdsa_secp256k1/fp.nr
+++ b/crates/curves/src/ecdsa_secp256k1/fp.nr
@@ -1,3 +1,4 @@
+use dep::std;
 use dep::std::println;
 
 use dep::biguint::{BigUint56, utils};
@@ -175,7 +176,7 @@ impl PrimeField {
 
         let mut carry2 = 0;
         for i in 0..NUM_LIMBS {
-            let k = tmp[i] * PrimeField::P_INV();
+            let k = std::wrapping_mul(tmp[i], PrimeField::P_INV());
             let mut carry = 0;
             for j in 0..NUM_LIMBS {
                 let (prod, c) = utils::mac(tmp[i + j], k, modulus.limbs[j], carry);
diff --git a/crates/curves/src/ecdsa_secp256k1/fq.nr b/crates/curves/src/ecdsa_secp256k1/fq.nr
index 7e51f57..f59a441 100644
--- a/crates/curves/src/ecdsa_secp256k1/fq.nr
+++ b/crates/curves/src/ecdsa_secp256k1/fq.nr
@@ -1,3 +1,4 @@
+use dep::std;
 use dep::std::println;
 
 use dep::biguint::{BigUint56, utils};
@@ -175,7 +176,7 @@ impl PrimeField {
 
         let mut carry2 = 0;
         for i in 0..NUM_LIMBS {
-            let k = tmp[i] * PrimeField::P_INV();
+            let k = std::wrapping_mul(tmp[i], PrimeField::P_INV());
             let mut carry = 0;
             for j in 0..NUM_LIMBS {
                 let (prod, c) = utils::mac(tmp[i + j], k, modulus.limbs[j], carry);
diff --git a/crates/curves/src/ed25519/fp.nr b/crates/curves/src/ed25519/fp.nr
index 88c1547..470583f 100644
--- a/crates/curves/src/ed25519/fp.nr
+++ b/crates/curves/src/ed25519/fp.nr
@@ -1,3 +1,4 @@
+use dep::std;
 use dep::std::println;
 
 use dep::biguint::{BigUint56, utils};
@@ -175,7 +176,7 @@ impl PrimeField {
 
         let mut carry2 = 0;
         for i in 0..NUM_LIMBS {
-            let k = tmp[i] * PrimeField::P_INV();
+            let k = std::wrapping_mul(tmp[i], PrimeField::P_INV());
             let mut carry = 0;
             for j in 0..NUM_LIMBS {
                 let (prod, c) = utils::mac(tmp[i + j], k, modulus.limbs[j], carry);
diff --git a/crates/curves/src/ed25519/fq.nr b/crates/curves/src/ed25519/fq.nr
index dbd1150..7941b8c 100644
--- a/crates/curves/src/ed25519/fq.nr
+++ b/crates/curves/src/ed25519/fq.nr
@@ -1,3 +1,4 @@
+use dep::std;
 use dep::std::println;
 
 use dep::biguint::{BigUint56, utils};
@@ -175,7 +176,7 @@ impl PrimeField {
 
         let mut carry2 = 0;
         for i in 0..NUM_LIMBS {
-            let k = tmp[i] * PrimeField::P_INV();
+            let k = std::wrapping_mul(tmp[i], PrimeField::P_INV());
             let mut carry = 0;
             for j in 0..NUM_LIMBS {
                 let (prod, c) = utils::mac(tmp[i + j], k, modulus.limbs[j], carry);