Verification with floating point 2

Proved the complete cd2d program
@andreistefanescu @dwightguth please review