diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
index 17609040..062e166a 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt
@@ -1880,7 +1880,7 @@
              (-PosRat -Int . -> . -PosRat)
              (-NonNegRat -Int . -> . -NonNegRat)
              (-Rat -Int . -> . -Rat)
-             (-PosFlonum -Real . -> . -PosFlonum)
+             (-PosFlonum (Un -PosReal -NegReal) . -> . -PosFlonum)
              (-PosReal -Flonum . -> . -PosFlonum)
              (-NonNegFlonum -Real . -> . -NonNegFlonum)
              (-NonNegReal -Flonum . -> . -NonNegFlonum)
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt
new file mode 100644
index 00000000..69337e4d
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14823.rkt
@@ -0,0 +1,6 @@
+#lang typed/racket/base
+
+(: f : Real → Real)
+(define (f x)
+  (+ 1 (expt 1.0 x)))
+(f 0)
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
index 2daa8fc1..7e5a00b8 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
@@ -141,6 +141,7 @@
      (sinh E*)
      (cosh E*)
      (tanh E*)
+     (expt E* E*)
      ])
 ;; generated from: (map car (file->list "base-env-parts"))