added utility methods to create RealIntervals.