вероятностное округление

Мат. probabilistic roundoff