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

comments on the new manual



p 119. The law of trichotomy does not hold for IEEE floating point
standard numbers.  Any language which imposes this as a language
feature cannot conform to the standard.   Better not to mention it.