diff --git a/ice-9/psyntax.pp b/ice-9/psyntax.pp
index 27c7a4b27..823589905 100644
--- a/ice-9/psyntax.pp
+++ b/ice-9/psyntax.pp
@@ -8671,7 +8671,7 @@
                           (if g1373
                               (apply
                                 (lambda (g1374)
-                                  (if (fx= g1370 '0)
+                                  (if (= g1370 '0)
                                       g1374
                                       (g1360
                                         '(#(syntax-object
@@ -8714,13 +8714,13 @@
                                                 #("i" "i" "i" "i")))))
                                         (g1358
                                           (list g1374)
-                                          (fx- g1370 '1)))))
+                                          (- g1370 '1)))))
                                 g1373)
                               ((lambda (g1375)
                                  (if g1375
                                      (apply
                                        (lambda (g1377 g1376)
-                                         (if (fx= g1370 '0)
+                                         (if (= g1370 '0)
                                              (g1357
                                                g1377
                                                (g1358 g1376 g1370))
@@ -8778,7 +8778,7 @@
                                                            "i")))))
                                                  (g1358
                                                    (list g1377)
-                                                   (fx- g1370 '1)))
+                                                   (- g1370 '1)))
                                                (g1358 g1376 g1370))))
                                        g1375)
                                      ((lambda (g1378)
@@ -8838,7 +8838,7 @@
                                                             "i")))))
                                                   (g1358
                                                     (list g1379)
-                                                    (fx+ g1370 '1))))
+                                                    (+ g1370 '1))))
                                               g1378)
                                             ((lambda (g1380)
                                                (if g1380
diff --git a/ice-9/psyntax.ss b/ice-9/psyntax.ss
index 7173170b4..fb353e356 100644
--- a/ice-9/psyntax.ss
+++ b/ice-9/psyntax.ss
@@ -2080,19 +2080,19 @@
         (lambda (p lev)
            (syntax-case p (unquote unquote-splicing quasiquote)
               ((unquote p)
-               (if (fx= lev 0)
+               (if (= lev 0)
                    (syntax p)
                    (quasicons (syntax (quote unquote))
-                              (quasi (syntax (p)) (fx- lev 1)))))
+                              (quasi (syntax (p)) (- lev 1)))))
               (((unquote-splicing p) . q)
-               (if (fx= lev 0)
+               (if (= lev 0)
                    (quasiappend (syntax p) (quasi (syntax q) lev))
                    (quasicons (quasicons (syntax (quote unquote-splicing))
-                                         (quasi (syntax (p)) (fx- lev 1)))
+                                         (quasi (syntax (p)) (- lev 1)))
                               (quasi (syntax q) lev))))
               ((quasiquote p)
                (quasicons (syntax (quote quasiquote))
-                          (quasi (syntax (p)) (fx+ lev 1))))
+                          (quasi (syntax (p)) (+ lev 1))))
               ((p . q)
                (quasicons (quasi (syntax p) lev) (quasi (syntax q) lev)))
               (#(x ...) (quasivector (quasi (syntax (x ...)) lev)))