それってどっちかというとFloatがNaNに関して同値性の伝播則を持たないことによるから Floatが壊れてるのでノーカンでよいよ