i32 - 0.5 * i64
