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 04f49999..7f149c42 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
@@ -481,7 +481,6 @@
     (fl-type-lambda
       (from-cases (binop -FlZero)
                   ;; we don't have Pos Pos -> Pos, possible underflow
-                  (binop -PosFl -NonNegFl)
                   (binop -NonNegFl)
                   (commutative-binop -NegFl -PosFl -NonPosFl)
                   (binop -NegFl -NonNegFl)