RealPoint is located in:

• realgeometry/src/RealPoint.i3
• drawcontext/src/RealPoint.i3
• fisheye/src/RealPoint.i3