[racket] Q. about intent of TR wrt floats

I just had trouble with the type of log; I wanted to pass it a positive real, and get back a Real.  After inspecting the type, I see that it works for Positive-Float.  Is this deliberate, in order to get more optimizable code (if the input is a float, we don't need to check it), or just an oversight?  If the former, it seems like there should be some easier way to deliver this information to the user.

John

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4624 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20120105/55502649/attachment.p7s>