array[i64] >= -i64
