Free42 with IEEE 754-2008 decimal floating-point -- interested in a sneak preview?

[J-F Garnier]

(03-18-2014 07:16 AM)Werner Wrote:  

(03-17-2014 01:29 PM)Thomas Okken Wrote:    10ⁿ ≤ x < 10ⁿ⁺¹ → n ≤ LOG(x) < n+1

This is not possible.
On a real 42S, LOG(9.99999999999) = 1, exactly. Meaning it is the closest number to the exact result. The same holds for any precision. On Free42 Decimal-34, LOG(1e34-1) is 34 and LOG(1e33-1) is 33, exactly, and that's what the result should be.

I tend to agree with Werner, and the condition above is not needed. Strictly speaking, all we need is that 10^x is exact for x an integer, and it will be nice that LOG(x) is an integer for x exactly a power of ten.

J-F