Issue: REAL-NUMBER-TYPE (version 3)

[Robert A. Cassels <Cassels@STONY-BROOK.SCRC.Symbolics.COM>]

    Date: Wed, 15 Mar 89 14:24 EST
    From: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>

    Your issue status for this one says
      * REAL-NUMBER-TYPE
      Synopsis: add REAL = (OR RATIONAL FLOAT) & range
      Version 2, 08-Jan-89
      Comment: lengthy dissent; discussion? coercion for comparitor?
      Status: need new version
    but I think this version is ready to vote up-or-down.  Note that
    there are two proposals; the REALP predicate function has been
    separated out from the REAL data type.

    Date: Fri, 13 Jan 89 13:50 EST
    From: Robert A. Cassels <Cassels@STONY-BROOK.SCRC.Symbolics.COM>

    Issue:        REAL-NUMBER-TYPE
    Forum:	      CLEANUP
    References:   Table 4-1.
    Category:     ADDITION
    Edit history: 04-JAN-89, Version 1 by Bob Cassels, Don Sakahara, Kent Pitman,
			     and John Aspinall
		  08-JAN-89, Version 2 by Bob Cassels -- incorporate
			     Masinter's suggestion and make REAL a CLOS class
		  13-JAN-89, Version 3 by Cassels and Aspinall -- incorporate Marc LeBrun's
			     suggestions clarifying the relationship between CL
			     numeric type names and mathematical names
    Status:	      For Internal Discussion

We should change "current practice" to note that TI Lisp includes both
the REAL type and REALP predicate.