f64 / (0.5 + f32)
