float to bfloat



>>>>> "Barton" == Barton Willis <willisb@unk.edu> writes:

    Barton> (3) Is it possible to do the float to bfloat conversion portably
    Barton> by extracting the various parts of the float (frational part, exponent,
    Barton> and sign bit) and bit copy them into a bigfloat?

Yes.  integer-decode-float will pull apart a float into an integer
fraction part, the exponent, and sign.

Ray