Fixes a typo in the Primus Lisp IEEE754 semantics (#1580)

bmourad01 · web-flow · commit e2ad80c0ae4d · 2023-02-17T11:44:27.000-05:00
diff --git a/plugins/primus_lisp/semantics/ieee754.lisp b/plugins/primus_lisp/semantics/ieee754.lisp
@@ -29,7 +29,7 @@
   (set y0 (cast-float :rne 64 x0)))
 
 (defun cast_sint_rne_ieee754_binary_64 ()
-  (set y0 (cast-sfloat :rne 64 x0)))
+  (set y0 (cast-sint :rne 64 x0)))
 
 (defun cast_int_rne_ieee754_binary_64 ()
-  (set y0 (cast-float :rne 64 x0)))
+  (set y0 (cast-int :rne 64 x0)))
