(i32 - 0.5) * i64
