int: CONST 0    float: MUL
-0.0 and nan and inf all break x*0.0 == 0.0, so the float stays.
