(extendsfdf2): Undo 30 Nov 94 change. Use float_extend instead of
tree6e7e1d90954f7bcabb16b1d52c652e7d76cf5c83
drwxr-xr-x - gcc