make interval satisfies Ranged