Re: Issue: REAL-NUMBER-TYPE (version 1)

["Steve Bacher (Batchman)" <SEB1525@draper.com>]

Hold on.  How should the following be handled:
 (declare (type (real 3.1415926 71/7) x))
...or (typep x '(real 3.1415926 71/7))?
When the type determination is made, how is the coercion of x to be done?
Must x be coerced from rational to float, or from float to rational, in 
order to do the type check?  Should RATIONAL or RATIONALIZE be used?  ETc.,
etc., etc.