diff --git a/racket/collects/racket/contract/private/generate-base.rkt b/racket/collects/racket/contract/private/generate-base.rkt
index e5e832b546..931c8b712d 100644
--- a/racket/collects/racket/contract/private/generate-base.rkt
+++ b/racket/collects/racket/contract/private/generate-base.rkt
@@ -88,6 +88,15 @@
                (* 0+1i (integer-gen fuel)))]
       [else (rational-gen fuel)]))
    
+   real?
+   (λ (fuel)
+     (rand-choice
+      [1/10 (integer-gen fuel)]
+      [1/10 (exact-nonnegative-integer-gen fuel)]
+      [1/20 (oneof '(+inf.0 -inf.0 +nan.0 0 0.0))]
+      [else (rational-gen fuel)]))
+   
+   
    boolean?
    (λ (fuel)
      (rand-choice