Clarify stochastic rounding.