1. fc39dc4 A not equal for an unordered relation should return true as specified in IEEE-754, e.g., by Mon P Wang ยท 14 years ago