
29 Nov
2010
29 Nov
'10
10:07 a.m.
On 28/11/2010 22:30, Hal Finkel wrote:
Hello,
A few months ago, I created an MPL extension type for representing real numbers.
I find that idea very interesting.
The current default is 20 to allow an effective precision near that of a double. Also, continued fractions, being "based on" rational numbers, can exactly represent any rational (for example, 1/3) so the computations can be more accurate than those using a floating-point representation.
It would be nice to know what minimum value is necessary to provide correctly rounded results for IEEE754 floats and doubles.