quotient</span> <span class="p">(</span><span class="kt">int</span> <span class="n">numerator</span><span class="p">,</span> <span class="kt">int</span> <span class="n">denominator</span><span class="p">);</span>
<span class="cm">/* Requires: nothing (i.e. is not null/etc) */</span>
<span class="cm">/* Modifies: nothing */</span>
<span class="cm">/* Ensures: it returns a double equal to the two numbers divided. */</span>
<span class="cm">/* Returns: numerator / denominator */</span>
<span class="cm">/* Opti