diff --git a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
index 13e91ed6..af2f811e 100644
--- a/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
+++ b/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
@@ -1628,7 +1628,7 @@
              (-NonNegReal -Fixnum . -> . -Real)
              (-InexactReal (Un -NegFixnum -PosFixnum) . -> . -InexactReal)
              (-InexactReal -InexactReal . -> . (Un -InexactReal -InexactComplex))
-             (-Real -Integer . -> . -Real)
+             (-Real -Nat . -> . -Real)
              (-FloatComplex -FloatComplex . -> . -FloatComplex)
              (-FloatComplex -Flonum . -> . (Un -FloatComplex -Flonum))
              (-FloatComplex -InexactReal . -> . (Un -FloatComplex -InexactReal))