abs(i64) == i
