7Floating point values are combined exactly, which is not correct but still useful when dead code can be eliminated according to some parameter value.