RandomReal is located in:
random/src/IEEE-be/RandomReal.m3
random/src/IEEE-le/RandomReal.m3
random/src/VAX/RandomReal.m3