title: Nondeterministic (random) rounding based on decimal places
body: <p>I want to do something like this:</p>
  
  <pre><code>return Utils.RandomDouble() &lt; value - Math.Floor(value) : (int)Math.Floor(value) : (int)Math.Ceil(value);
  </code></pre>
  
  <p>Hard to google it ;) Is there any literature about such kind of rounding mechanism or a name for it?</p>
  
  <p>Just a little background:
  We use it for a game where we have health based on integers (hitpoints) but calculate the damages based on doubles to be more exact.</p>