diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt
index 891d501b..5fce5060 100644
--- a/collects/typed-racket/base-env/base-env.rkt
+++ b/collects/typed-racket/base-env/base-env.rkt
@@ -1926,7 +1926,7 @@
 
 [random
   (cl->* (->opt -PosInt [-Pseudo-Random-Generator] -Nat)
-         (->opt [-Pseudo-Random-Generator] -InexactReal))]
+         (->opt [-Pseudo-Random-Generator] -Flonum))]
 
 [random-seed (-> -PosInt -Void)]
 [make-pseudo-random-generator (-> -Pseudo-Random-Generator)]