* x+0.0 cannot be optimized to x because that is not true when x is -0.0

Wait, what? What is x + -0.0 then? What are the special cases? The only case I can think of would be 0.0 + -0.0.