Exact 0 turns out to also be a corner case for addition. At this point, mixed-mode optimizations pretty much only apply for mixes of floats and literal non-zero non-floats.