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

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



Surely it must use the same mechanism that <= and < do...