Если вы выполняете вычисления вручную в двоичном формате с двойной точностью, который ограничен 53 значащими битами, вы увидите, что происходит:
129,95 = 1,0000001111100110011001100110011001100110011001100110 x 2 ^ 7
129,95 * 100 = 1,1001011000010111111111111111111111111111111111111111111111111111011 x 2 ^ 13
Длина 56 значащих битов, округленная до 53 бит,
1.1001011000010111111111111111111111111111111111111111111111111111 x 2 ^ 13, что равно
12994.999999999998181010596454143524169921875
Теперь 129,95 * 10 = 1,0100010011011111111111111111111111111111111111111111111111111111111 x 2 ^ 10
Это длина 54 значащих бита, поэтому округляется до 53 бит, это 1.01000100111 x 2 ^ 10 = 1299,5
Теперь 1299,5 * 10 = 1,1001011000011 x 2 ^ 13 = 12995.