diff --git a/rosette/solver/smt/dec.rkt b/rosette/solver/smt/dec.rkt
index 7b4cb9b9..408d0c58 100644
--- a/rosette/solver/smt/dec.rkt
+++ b/rosette/solver/smt/dec.rkt
@@ -116,7 +116,6 @@
         (hash-ref ~env id)]
        [(== true) #t]
        [(== false) #f]
-       [(? integer?) (inexact->exact expr)]
        [(? real?) expr]
        [(? symbol?)
         (cond