RealInterval is located in:

• realgeometry/src/RealInterval.i3
• fisheye/src/RealInterval.i3