FPU is located in:
float/src/IEEE-default/FPU.m3
float/src/VAX/FPU.m3