RealRep is located in:
float/src/IEEE-be/RealRep.i3
float/src/IEEE-le/RealRep.i3
float/src/VAX/RealRep.i3