RealFloat is located in:
float/src/IEEE/RealFloat.m3
float/src/VAX/RealFloat.m3