Verification with floating point

@dwightguth @andreistefanescu please review 
I'm not sure distinct is actually correct here. NaN is not distinct from NaN, but it is not equal to itself.