anteed digits,</span>
<span class="comment">// the other two digits being 'noisy'.</span>

<span class="comment">// Construct a standard normal distribution s</span>
  <span class="identifier">normal</span> <span class="identifier">s</span><span class="special">;</span> <span class="comment">// (default mean = zero, and standard deviation = unity)</span>
  <span class="identifier">cout</span> <span class="special">&lt;&lt;</span> <span class="string">"Standard normal distribution, mean = "</span><span class