0.5 * f32 / i64
