Use delete[] in int_range destructor [PR109920]