Verification with floating point

@dwightguth @andreistefanescu please review 
how long does it take?