Updated Interval's __str__ function.