Frac_mask
if (( j = 11 - hi0bits(word0(&d2) & Frac_mask) )!=0)
if ( (j = 11 - hi0bits(word0(&d) & Frac_mask)) !=0)
if ( (j = 11 - hi0bits(word0(&d) & Frac_mask)) !=0)
z = d0 & Frac_mask;
*bits = 4*P + 8 - k - hi0bits(word0(&d) & Frac_mask);
&& !(word0(&rv) & Frac_mask)) {