1 files changed, 1 insertions, 2 deletions
diff --git a/.bin/jrp.c b/.bin/jrp.c
index de137cf7..92c935df 100755
--- a/.bin/jrp.c
+++ b/.bin/jrp.c
@@ -103,8 +103,7 @@ static void jitQop(qop op) {
 
 static void jitPush(qvalue imm) {
     if ((dvalue)imm == imm) {
-        jitDop(DOP_PUSH);
-        jitDop((dop)imm);
+        jitQop(DOP_PUSH | (qop)imm << 32);
     } else {
         jitQop(QOP_PUSH);
         jitQop((qop)imm);