Formatos e precisão de números internos do Mathematica

Tangencialmente relacionado aesta pergunta, o que exatamente está acontecendo aqui com a formatação de números?

In[1]  := InputForm @ 3.12987*10^-270
Out[1] := 3.12987`*^-270

In[2]  := InputForm @ 3.12987*10^-271
Out[2] := 3.1298700000000003`*^-271

Se você usar*10.^ como multiplicador, a transição é onde você esperaria ingenuamente que ela seja:

In[3]  := InputForm @ 3.12987*10.^-16
Out[3] := 3.12987`*^-16

In[4]  := InputForm @ 3.12987*10.^-17
Out[4] := 3.1298700000000004`*^-17

enquanto que*^ leva a transição um pouco mais longe, embora seja a precisão da máquina que começa a desbotar:

In[5]  := InputForm @ 3.12987*^-308
Out[5] := 3.12987`*^-308

In[6]  := InputForm @ 3.12987*10.^-309
Out[6] := 3.12987`15.954589770191008*^-309

A base começa a se separar muito mais tarde

In[7]  := InputForm @ 3.12987*^-595
Out[7] := 3.12987`15.954589770191005*^-595

In[8]  := InputForm @ 3.12987*^-596
Out[8] := 3.1298699999999999999999999999999999999999`15.954589770191005*^-596

Suponho que essas transições estejam relacionadas ao formato em que o Mathematica mantém internamente seus números, mas alguém sabe, ou se preocupa em arriscar um palpite de como?

questionAnswers(1)

yourAnswerToTheQuestion