Lines Matching full:extra_bits
950 int extra_bits = rough_appr.bitLength() - 3;951 CR scaled_result = shiftRight(extra_bits).ln();952 return scaled_result.add(CR.valueOf(extra_bits).multiply(ln2));