Verification with floating point

@dwightguth @andreistefanescu please review 
No. NaN != Nan returns true, but distinct of 2 nans returns false.