diff --git a/collects/racket/private/base.rkt b/collects/racket/private/base.rkt
index bcb848cdd3..a1e784a333 100644
--- a/collects/racket/private/base.rkt
+++ b/collects/racket/private/base.rkt
@@ -21,7 +21,6 @@
                               with-output-to-file
                               regexp-replace*
                               new-apply-proc)
-             (rename flonum? double-flonum?) ; for symmetry with single-flonum?
              struct
              (all-from "hash.rkt")
              (all-from "list.rkt")
diff --git a/collects/racket/private/pre-base.rkt b/collects/racket/private/pre-base.rkt
index bf25e6667a..57d29b7e05 100644
--- a/collects/racket/private/pre-base.rkt
+++ b/collects/racket/private/pre-base.rkt
@@ -103,6 +103,9 @@
          stx
          stx))))
 
+  (define-values (double-flonum?) ; for symmetry with single-flonum?
+    (lambda (x) (flonum? x)))
+
   (#%provide (all-from-except "more-scheme.rkt" old-case fluid-let)
              (all-from "misc.rkt")
              (all-from "define.rkt")
@@ -144,4 +147,5 @@
              (rename define-struct* define-struct)
              define-struct/derived
              struct-field-index
-             struct-copy))
+             struct-copy
+             double-flonum?))