abs(i) <= i64
