(It's overkill to use that value - I was just thrashing around! You see that the 80 bit version gets only 3 more correct digits than the 64 bit version. I think it has 11 bits more to work with.)
Statistics: Posted by BigEd — Thu Jan 02, 2025 6:04 pm