(nan == nan) and (nan == nan) iff (nan == nan)では？