diff --git a/collects/typed-racket/base-env/base-env-numeric.rkt b/collects/typed-racket/base-env/base-env-numeric.rkt index da54cbae..3a55f923 100644 --- a/collects/typed-racket/base-env/base-env-numeric.rkt +++ b/collects/typed-racket/base-env/base-env-numeric.rkt @@ -1608,6 +1608,7 @@ (-SingleFlonum (Un -NegInt -PosInt) . -> . -SingleFlonum) (-SingleFlonum -SingleFlonum . -> . (Un -SingleFlonum -SingleFlonumComplex)) (-InexactReal (Un -NegInt -PosInt) . -> . -InexactReal) + (-Real (Un -NegInt -PosInt) . -> . -Real) (-InexactReal -InexactReal . -> . (Un -InexactReal -InexactComplex)) (-ExactNumber -ExactNumber . -> . -ExactNumber) (N -FloatComplex . -> . -FloatComplex)