RealInterval is located in:

• realgeometry/src/RealInterval.m3
• fisheye/src/RealInterval.m3