Dr J R Stockton < XXXX@XXXXX.COM > writes:
That's well spotted - there's no need to make numbers small, it only
matters to keep the number of significant digits below 53.
With that in mind, the last line can be reduced (slightly) to:
(the first summand has 32 bits of precission, the second 48, and they
overlap, so it should be fine).
Lasse Reichstein Holst Nielsen