From b7fea6be5a5ecc71bc12e7a78df6a5b25d7e15ca Mon Sep 17 00:00:00 2001
From: Neil Toronto <ntoronto@racket-lang.org>
Date: Wed, 6 Jun 2012 16:16:52 -0600
Subject: [PATCH] Fixed contracts on exact-round, etc.

---
 collects/racket/math.rkt                     | 2 +-
 collects/scribblings/reference/numbers.scrbl | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/collects/racket/math.rkt b/collects/racket/math.rkt
index 0cc8c5e381..be1dc5b9e6 100644
--- a/collects/racket/math.rkt
+++ b/collects/racket/math.rkt
@@ -95,7 +95,7 @@
   ;; inexact->exact composed with round, floor, ceiling, truncate
   (define-syntax-rule (define-integer-conversion name convert)
     (define (name x)
-      (unless (real? x) (raise-argument-error 'name "real?" x))
+      (unless (rational? x) (raise-argument-error 'name "rational?" x))
       (inexact->exact (convert x))))
   
   (define-integer-conversion exact-round round)
diff --git a/collects/scribblings/reference/numbers.scrbl b/collects/scribblings/reference/numbers.scrbl
index 194b29bf28..3fdd196206 100644
--- a/collects/scribblings/reference/numbers.scrbl
+++ b/collects/scribblings/reference/numbers.scrbl
@@ -1072,22 +1072,22 @@ Returns the hyperbolic cosine of @racket[z].}
 
 Returns the hyperbolic tangent of @racket[z].}
 
-@defproc[(exact-round [x real?]) real?]{
+@defproc[(exact-round [x rational?]) exact-integer?]{
 
 Equivalent to @racket[(inexact->exact (round x))].
 }
 
-@defproc[(exact-floor [x real?]) real?]{
+@defproc[(exact-floor [x rational?]) exact-integer?]{
 
 Equivalent to @racket[(inexact->exact (floor x))].
 }
 
-@defproc[(exact-ceiling [x real?]) real?]{
+@defproc[(exact-ceiling [x rational?]) exact-integer?]{
 
 Equivalent to @racket[(inexact->exact (ceiling x))].
 }
 
-@defproc[(exact-truncate [x real?]) real?]{
+@defproc[(exact-truncate [x rational?]) exact-integer?]{
 
 Equivalent to @racket[(inexact->exact (truncate x))].
 }