I was trying to reset the imprecision record of a number like
0.0076022266122755632`1.025 by calling
SetPrecision with second argument of
Infinity. But then I was very surprised to see the following counterintuitive behavior:
SetPrecision[0.0076022266122755632`1.025, 30] SetPrecision[0.0076022266122755632`1.025, Infinity] N@%
I.e., when asked to set finite precision,
SetPrecision just resets the precision marker, but when asked for infinite precision, it rounds the number to remove actual "extra" digits.
Is this inconsistency intended? How is it justified?