<div class="top"><p class="src">module <a href="Numeric-MixedTypes-Round.html">Numeric.MixedTypes.Round</a></p></div><div class="top"><p class="src">module <a href="Numeric-MixedTypes-Ring.html">Numeric.MixedTypes.Ring</a></p></div><div class="top"><p class="src">module <a href="Numeric-MixedTypes-Field.html">Numeric.MixedTypes.Field</a></p></div><div class="top"><p class="src">module <a href="Numeric-MixedTypes-Elementary.html">Numeric.MixedTypes.Elementary</a></p></div></div></div><div id="footer"><p>Prod