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 ae718b61..66146e33 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
@@ -1635,7 +1635,6 @@
              (-FloatComplex -InexactComplex . -> . -FloatComplex)
              (-SingleFlonumComplex -SingleFlonumComplex . -> . -SingleFlonumComplex)
              (-SingleFlonumComplex -SingleFlonum . -> . (Un -SingleFlonumComplex -SingleFlonum))
-             ((Un -InexactReal -InexactComplex) -InexactComplex . -> . -InexactComplex)
              (-InexactComplex (Un -InexactReal -InexactComplex) . -> . -InexactComplex)
              (N N . -> . N))]
 [sqrt
diff --git a/typed-racket-test/unit-tests/typecheck-tests.rkt b/typed-racket-test/unit-tests/typecheck-tests.rkt
index baed9bbe..7d169f53 100644
--- a/typed-racket-test/unit-tests/typecheck-tests.rkt
+++ b/typed-racket-test/unit-tests/typecheck-tests.rkt
@@ -458,6 +458,7 @@
         (tc-e (flexpt -0.0 -1.0) -Flonum)
         (tc-e (expt -0.0f0 -3.0) -InexactReal)
         (tc-e (expt -8.665778974912815f+107 -677460115195106837726964554590085563061636191189747) -Number)
+        (tc-e (expt (sin +inf.f) +nan.0+nan.0i) -Number)
         (tc-e (exact->inexact 3) -PosFlonum)
         (tc-e (exact->inexact -3) -NegFlonum)
         (tc-e (real->double-flonum 0.0) -FlonumPosZero)