339         if (n < 0) return k.shiftRight(-n);  in shift()
349             return adj_k.shiftRight(1);  in scale()
800     public CR shiftRight(int n) {  in shiftRight()  method in CR
892             CR square_root = shiftRight(1).exp();  in exp()
914     static CR half_pi = PI.shiftRight(1);
933             CR cos_half = shiftRight(1).cos();  in cos()
993                 CR scaled_result = shiftRight(extra_bits).ln();  in ln()
1220                                         abs_scaled_divisor.shiftRight(1));  in approximate()
1533             return shifted_result.add(big1).shiftRight(1);  in approximate()
1579     private static CR SQRT_HALF = new sqrt_CR(ONE.shiftRight(1));
1604             final BigInteger next_a = a.add(b).shiftRight(1);  in approximate()
1607             final BigInteger b_prod = a.multiply(b).shiftRight(-eval_prec);  in approximate()
1611             final CR b_prod_as_CR = CR.valueOf(b_prod).shiftRight(-eval_prec);  in approximate()
1643         final BigInteger result = sum.multiply(sum).divide(t).shiftRight(2);  in approximate()