Verification with floating point

@dwightguth @andreistefanescu please review 
this is not correct. Infinity == infinity but infinity is not ordinary.