Pull IEEE floating-point out into ieeefp.[ch].