i64 + i64 + 0.5
