f64 * 0.5 / i32
