RealInterval is located in:

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