0.5 * f64 + i64
