min(f32 / 0.5)
