round_ran(): Random rounding of numbers.
A number \(x\) is rounded to an integer \(y\) according to the following
rule:
$$y = \left\lfloor x \right\rfloor +
I\!\left(u < x - \left\lfloor x \right\rfloor\right),$$
where the indicator function \(I : \{FALSE,\, TRUE\} \to \{0,\, 1\}\) is
defined as
$$
I(b) :=
\begin{cases}
0, & b \text{ is } FALSE, \\
1, & b \text{ is } TRUE,
\end{cases}
$$
and \(u\) is a random number drawn from the \(\mathrm{Uniform}(0, 1)\)
distribution.