[George Nordic]

Он и до этого округлит, но выведет 9999,99
а вот 9999,995 - уже напишет 10000.

И только на одинаковых слагаемых, над которыми были произведены преобразования, в ходе которых получалась бесконечная дробь, заметьте.