diff --git a/collects/typed-racket/optimizer/float.rkt b/collects/typed-racket/optimizer/float.rkt
index 2c5c7d9a..6e58ef21 100644
--- a/collects/typed-racket/optimizer/float.rkt
+++ b/collects/typed-racket/optimizer/float.rkt
@@ -79,7 +79,7 @@
   ;; of the exact 0 problem, but since float-opt-expr checks whether the
   ;; surrounding expressing is of type Float and not just Real, this is safe
   (pattern e:real-expr
-           #:with opt #'(exact->inexact e)))
+           #:with opt #'(real->double-flonum e)))
 
 (define (log-float-real-missed-opt stx irritants)
   (log-missed-optimization