342         if (n < 0) return k.shiftRight(-n);  in shift()
352             return adj_k.shiftRight(1);  in scale()
806     public CR shiftRight(int n) {  in shiftRight()  method in CR
898             CR square_root = shiftRight(1).exp();  in exp()
920     static CR half_pi = PI.shiftRight(1);
939             CR cos_half = shiftRight(1).cos();  in cos()
999                 CR scaled_result = shiftRight(extra_bits).ln();  in ln()
1226                                         abs_scaled_divisor.shiftRight(1));  in approximate()
1539             return shifted_result.add(big1).shiftRight(1);  in approximate()
1585     private static CR SQRT_HALF = new sqrt_CR(ONE.shiftRight(1));
1610             final BigInteger next_a = a.add(b).shiftRight(1);  in approximate()
1613             final BigInteger b_prod = a.multiply(b).shiftRight(-eval_prec);  in approximate()
1617             final CR b_prod_as_CR = CR.valueOf(b_prod).shiftRight(-eval_prec);  in approximate()
1649         final BigInteger result = sum.multiply(sum).divide(t).shiftRight(2);  in approximate()