i32 * 0.5 + f64
