i64 / (0.5 + f64)
