diff --git a/riscv_executor/src/lib.rs b/riscv_executor/src/lib.rs
index 08b5042171..6c79277260 100644
--- a/riscv_executor/src/lib.rs
+++ b/riscv_executor/src/lib.rs
@@ -555,7 +555,7 @@ impl<'a, 'b, F: FieldElement> Executor<'a, 'b, F> {
                 self.proc.s("Y", args[0]);
 
                 // execution
-                let r = args[0].u() as u32 as i64;
+                let r = args[0].u() as i32;
 
                 // output
                 self.proc.s("X", r);