f32 / 0.5 > f64
