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 252c1ad9..375dc6d4 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
@@ -558,8 +558,7 @@
   (define flexp-type
     (fl-type-lambda
       (from-cases (-NonNegFl . -> . -PosFl)
-                  (-NegFl . -> . -NonNegFl)
-                  (-Fl . -> . -Fl)))) ; nan is the only non nonnegative case (returns nan)
+                  (-Fl . -> . -NonNegFl))))
   (define flsqrt-type
     (fl-type-lambda
       (from-cases (map unop (list -FlPosZero -FlNegZero -FlZero