max(f32, f32)
