[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

comparisons between floats and ratios

    A not-entirely-unrelated question:  What kind of rounding is FLOAT supposed
    to do?

I think that the GOAL is to produce the closest approximation to the
ratio that is possible in a given floating-point format.  That's what
implementors should shoot for.  Whether it makes sense to REQUIRE this
in the very last bit is less clear.  I don't think I've ever seen a
floating-point package that got this right all the time.

-- Scott