i64 + half(0.5)
