diff --git a/changelogs/unreleased/998-dark64 b/changelogs/unreleased/998-dark64
new file mode 100644
index 00000000..d784d85c
--- /dev/null
+++ b/changelogs/unreleased/998-dark64
@@ -0,0 +1 @@
+Fix invalid cast to `usize` which caused wrong values in 32-bit environments
\ No newline at end of file
diff --git a/zokrates_core/src/flatten/mod.rs b/zokrates_core/src/flatten/mod.rs
index ca916636..79d3948f 100644
--- a/zokrates_core/src/flatten/mod.rs
+++ b/zokrates_core/src/flatten/mod.rs
@@ -1465,7 +1465,7 @@ impl<'ast, T: Field> Flattener<'ast, T> {
 
         let res = match expr.into_inner() {
             UExpressionInner::Value(x) => {
-                FlatUExpression::with_field(FlatExpression::Number(T::from(x as usize)))
+                FlatUExpression::with_field(FlatExpression::Number(T::from(x)))
             } // force to be a field element
             UExpressionInner::Identifier(x) => {
                 let field = FlatExpression::Identifier(*self.layout.get(&x).unwrap());