diff --git a/collects/scribblings/draw/dc-intf.scrbl b/collects/scribblings/draw/dc-intf.scrbl
index 7d7a58527f..9461c0e67c 100644
--- a/collects/scribblings/draw/dc-intf.scrbl
+++ b/collects/scribblings/draw/dc-intf.scrbl
@@ -629,7 +629,8 @@ See also @method[dc<%> set-scale] and @method[dc<%> get-transformation].
 }
 
 @defmethod[(get-size)
-           (values nonnegative-real? nonnegative-real?)]{
+           (values (and/c real? (not/c negative?))
+                   (and/c real? (not/c negative?)))]{
 
 Gets the size of the destination drawing area. For a @scheme[dc<%>]
  object obtained from a @scheme[canvas<%>], this is the (virtual
@@ -660,10 +661,10 @@ set-text-background].
                             [font (or/c (is-a?/c font%) false/c) #f]
                             [combine? any/c #f]
                             [offset exact-nonnegative-integer? 0])
-           (values nonnegative-real? 
-                   nonnegative-real?
-                   nonnegative-real? 
-                   nonnegative-real?)]{
+           (values (and/c real? (not/c negative?)) 
+                   (and/c real? (not/c negative?))
+                   (and/c real? (not/c negative?)) 
+                   (and/c real? (not/c negative?)))]{
 
 
 Returns the size of @scheme[str] at it would be drawn in the drawing
diff --git a/collects/scribblings/draw/ps-setup-class.scrbl b/collects/scribblings/draw/ps-setup-class.scrbl
index 11691458ea..1f89d39dad 100644
--- a/collects/scribblings/draw/ps-setup-class.scrbl
+++ b/collects/scribblings/draw/ps-setup-class.scrbl
@@ -39,8 +39,8 @@ Gets the printer command used to print a file in X. The default is
 
 }
 
-@defmethod[(get-editor-margin [h-margin (box/c nonnegative-real?)]
-                              [v-margin (box/c nonnegative-real?)])
+@defmethod[(get-editor-margin [h-margin (box/c (and/c real? (not/c negative?)))]
+                              [v-margin (box/c (and/c real? (not/c negative?)))])
            void?]{
 
 Returns the current settings for horizontal and vertical margins when
@@ -71,8 +71,8 @@ Currently, Level 2 commands are only needed to include color bitmap
 
 }
 
-@defmethod[(get-margin [h-margin (box/c nonnegative-real?)]
-                       [v-margin (box/c nonnegative-real?)])
+@defmethod[(get-margin [h-margin (box/c (and/c real? (not/c negative?)))]
+                       [v-margin (box/c (and/c real? (not/c negative?)))])
            void?]{
 
 Returns the current settings for horizontal and vertical PostScript
@@ -130,8 +130,8 @@ Gets the command used to view a PostScript file for X. The default is
 
 }
 
-@defmethod[(get-scaling [x (box/c nonnegative-real?)]
-                        [y (box/c nonnegative-real?)])
+@defmethod[(get-scaling [x (box/c (and/c real? (not/c negative?)))]
+                        [y (box/c (and/c real? (not/c negative?)))])
            void?]{
 
 Gets the scaling factor for PostScript output.  @boxisfill[(scheme x)
@@ -146,8 +146,8 @@ This scale is in addition to a scale that can be set by @method[dc<%>
 
 }
 
-@defmethod[(get-translation [x (box/c nonnegative-real?)]
-                            [y (box/c nonnegative-real?)])
+@defmethod[(get-translation [x (box/c (and/c real? (not/c negative?)))]
+                            [y (box/c (and/c real? (not/c negative?)))])
            void?]{
 
 Gets the translation (from the bottom left corner) for PostScript
diff --git a/collects/scribblings/gui/text-class.scrbl b/collects/scribblings/gui/text-class.scrbl
index 2d9d161da3..4d523b37e6 100644
--- a/collects/scribblings/gui/text-class.scrbl
+++ b/collects/scribblings/gui/text-class.scrbl
@@ -813,10 +813,10 @@ Returns @scheme[#t] if the editor is in overwrite mode, @scheme[#f]
 }
 
 
-@defmethod[(get-padding) (values nonnegative-real?
-                                 nonnegative-real?
-                                 nonnegative-real?
-                                 nonnegative-real?)]{
+@defmethod[(get-padding) (values (and/c real? (not/c negative?))
+                                 (and/c real? (not/c negative?))
+                                 (and/c real? (not/c negative?))
+                                 (and/c real? (not/c negative?)))]{
 
 Returns the editor's padding for its left, top, right, and bottom
 sides (in that order).
@@ -1883,10 +1883,10 @@ Enables or disables overwrite mode. See @method[text%
 
 }
 
-@defmethod[(set-padding [left nonnegative-real?]
-                        [top nonnegative-real?]
-                        [right nonnegative-real?]
-                        [bottom nonnegative-real?])
+@defmethod[(set-padding [left (and/c real? (not/c negative?))]
+                        [top (and/c real? (not/c negative?))]
+                        [right (and/c real? (not/c negative?))]
+                        [bottom (and/c real? (not/c negative?))])
            void?]{
 
 Sets padding that insets the editor's content when drawn within its