Verification with floating point

@dwightguth @andreistefanescu please review 
is ```==``` specific for floats?