i64 / i * 0.5
