renamed RealInterval creation methods to avoid overloading confusion.