[excessive]

Your first line of main is adding -0.0 and -0.0, which is not what I think you intended to show.

[tlb]

Oops, you're right. https://godbolt.org/z/pAwqUA shows it better. Adding a -0 and +0 together in either order gives +0, using the actual x86-64 addsd instruction.