Revert floating-point contribution

Due to licensing issues we cannot risk having this code in GCC.
Re-writes are welcome.