[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
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.