[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

>   Add a standard type specifier
>    (REAL low high)
>   which means
>    (OR (RATIONAL low high) (FLOAT low high))
>   Add a specific data type predicate REALP which tests for membership in
>   this type.  [By analogy with NUMBERP.]
> Current Practice:
>   Probably nobody does this.

Actually, both the REAL type and REALP predicate are already supported on the
TI Explorer and LMI Lambda.