float to bfloat



>>>>> "Stavros" == Stavros Macrakis <stavros.macrakis@verizon.net> writes:

    Stavros> Raymond explains that floattofp rationalizes the float first, and adds
    Stavros> "I agree that there should be fuzz digits, but it is rather nice to see
    Stavros> the bigfloat looks like an obvious extension."

    Stavros> bfloat should not be in the business of guessing -- it should represent
    Stavros> the precise float in question.

Oh, I definitely agree, but it is rather nice. :-)

    Stavros> By the way, there are some bugs in older versions of fixfloat (my
    Stavros> 588346, 789053) but apparently they have been fixed.

    Stavros> Willis, Ray -- didn't we discuss all this over a year ago?  I think the
    Stavros> only reason we didn't convert to integer-decode-float at that time was
    Stavros> that it was buggy in GCL.  In GCL 2.5.0, (integer-decode-float 1.0)
    Stavros> crashes (my GCL Support Request #101688 of Jan 2003) -- this is reported
    Stavros> fixed now.

Don't recall the exact issues, but since Camm says
integer-decode-float is fixed now, I'll try to fix the bfloat issue.

Ray