Op_f32_max