f32.demote_f32