Verification with floating point

@dwightguth @andreistefanescu please review