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