That would allow us to spill it more compactly and emit tighter code in general. It would also be cool if Def32 could be made to clearly imply that the high bits are zero'd, since that would allow us to eliminate more zero extensions from the code.
We fixed this already.