f32 / max(0.5)
