But... the "dead" MOV? One of us must be missing something.

The Intel manual is a bit fuzzy about the edge cases (+/- infinity, NaN, subnormals), I'll look into that.