RealInterval is located in:

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