Added Interval::__toString()