diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt
index 6cf97681..fb58fab6 100644
--- a/collects/typed-racket/base-env/base-env-numeric.rkt
+++ b/collects/typed-racket/base-env/base-env-numeric.rkt
@@ -1520,14 +1520,19 @@
 ;; exactness
 [exact->inexact
  (from-cases (map unop all-float-types)
-             (-RealZero . -> . -FlonumZero)
-             (-NonNegReal . -> . -NonNegFlonum) ; not for Pos, possible underflow
-             (-NonPosReal . -> . -NonPosFlonum)
-             (-Real . -> . -Flonum)
+             (-Zero . -> . -FlonumZero)
+             (-PosRat . -> . -NonNegFlonum)
+             (-NegRat . -> . -NonPosFlonum)
+             (-Rat . -> . -Flonum)
+             (map unop (list -FlonumZero -PosFlonum -NonNegFlonum -NegFlonum -NonPosFlonum -Flonum
+                             -SingleFlonumZero -PosSingleFlonum -NonNegSingleFlonum -NegSingleFlonum -NonPosSingleFlonum -SingleFlonum))
+             (-NonNegReal . -> . -NonNegInexactReal) ; not for Pos, possible underflow
+             (-NonPosReal . -> . -NonPosInexactReal)
+             (-Real . -> . -InexactReal)
              (-FloatComplex . -> . -FloatComplex)
              (-SingleFlonumComplex . -> . -SingleFlonumComplex)
              (-InexactComplex . -> . -InexactComplex)
-             (N . -> . -FloatComplex))]
+             (N . -> . N))]
 [inexact->exact
  (from-cases (map unop all-rat-types)
              (-RealZero . -> . -Zero)