More precise treatment of floating-point values
CodePeer now analyzes more precisely code involving floating-point values, by doing the same kind of path-sensitive analysis as the one that was already implemented for integers. Also, CodePeer avoids systematically generating medium level messages for possibly failing assertions involving floating-point values.