s="noindent">
     <dl> <dt class="haddockdesc">
<!--tex4ht:inline--><div class="tabular"> <table id="TBL-231" class="tabular" 
cellspacing="0" cellpadding="0" rules="groups" 
><colgroup id="TBL-231-1g"><col 
id="TBL-231-1" /></colgroup><tr  
 style="vertical-align:baseline;" id="TBL-231-1-"><td  style="white-space:nowrap; text-align:left;" id="TBL-231-1-1"  
class="td11"><span 
class="pcrb7t-">polar</span><span 
class="pcrb7t-">&#x00A0;::</span><span 
class="pcrb7t-">&#x00A0;RealFloat</span><span 
class="p