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 12b196935..d37fecc20 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
@@ -1739,12 +1739,10 @@
                             -FloatComplex -SingleFlonumComplex -InexactComplex N)))]
 [acos (from-cases (-One . -> . -Zero)
                   (map unop
-                       (list -Flonum -SingleFlonum -InexactReal -Real
-                             -FloatComplex -SingleFlonumComplex -InexactComplex N)))]
+                       (list -FloatComplex -SingleFlonumComplex -InexactComplex N)))]
 [asin (from-cases (-Zero . -> . -One)
                   (map unop
-                       (list -Flonum -SingleFlonum -InexactReal -Real
-                             -FloatComplex -SingleFlonumComplex -InexactComplex N)))]
+                       (list -FloatComplex -SingleFlonumComplex -InexactComplex N)))]
 [atan (from-cases
        (map unop (list -Zero -Flonum -SingleFlonum -InexactReal -Real
                        -FloatComplex -SingleFlonumComplex -InexactComplex N))