216       static final BigInteger bigm1 = BigInteger.valueOf(-1);
217       static final BigInteger big2 = BigInteger.valueOf(2);
218       static final BigInteger bigm2 = BigInteger.valueOf(-2);
219       static final BigInteger big3 = BigInteger.valueOf(3);
220       static final BigInteger big6 = BigInteger.valueOf(6);
221       static final BigInteger big8 = BigInteger.valueOf(8);
223       static final BigInteger big750 = BigInteger.valueOf(750);
224       static final BigInteger bigm750 = BigInteger.valueOf(-750);
282       public static CR valueOf(BigInteger n) {  in valueOf()  method in CR
290       public static CR valueOf(int n) {  in valueOf()  method in CR
291         return valueOf(BigInteger.valueOf(n));  in valueOf()
298       public static CR valueOf(long n) {  in valueOf()  method in CR
299         return valueOf(BigInteger.valueOf(n));  in valueOf()
307       public static CR valueOf(double n) {  in valueOf()  method in CR
322         CR result = valueOf(mantissa).shiftLeft(exp);  in valueOf()
332       public static CR valueOf(float n) {  in valueOf()  method in CR
333         return valueOf((double) n);  in valueOf()
336       public static CR ZERO = valueOf(0);
337       public static CR ONE = valueOf(1);
452         static CR ten_ninths = valueOf(10).divide(valueOf(9));
453         static CR twentyfive_twentyfourths = valueOf(25).divide(valueOf(24));
454         static CR eightyone_eightyeths = valueOf(81).divide(valueOf(80));
455         static CR ln2_1 = valueOf(7).multiply(ten_ninths.simple_ln());
457                 valueOf(2).multiply(twentyfive_twentyfourths.simple_ln());
458         static CR ln2_3 = valueOf(3).multiply(eightyone_eightyeths.simple_ln());
467         static CR four = valueOf(4);
574       public static CR valueOf(String s, int radix)  in valueOf()  method in CR
590           BigInteger divisor = BigInteger.valueOf(radix).pow(fraction.length());  in valueOf()
591           return CR.valueOf(scaled_result).divide(CR.valueOf(divisor));  in valueOf()
606             BigInteger scale_factor = BigInteger.valueOf(radix).pow(n);  in toString()
667         BigInteger big_radix = BigInteger.valueOf(radix);  in toStringFloatRep()
682             scale = CR.valueOf(big_radix.pow(scale_exp)).inverse();  in toStringFloatRep()
684             scale = CR.valueOf(big_radix.pow(-scale_exp));  in toStringFloatRep()
692             scaled_res = scaled_res.multiply(CR.valueOf(big_radix));  in toStringFloatRep()
931             CR adjustment = PI.multiply(CR.valueOf(pi_multiples));  in cos()
977                         BigInteger.valueOf(16 + 8 /* 1.5 */);
979                         BigInteger.valueOf(4*16);
1000                 return scaled_result.add(CR.valueOf(extra_bits).multiply(ln2));  in ln()
1274           current_term = current_term.divide(BigInteger.valueOf(n));  in approximate()
1318           BigInteger divisor = BigInteger.valueOf(-n)  in approximate()
1319                                   .multiply(BigInteger.valueOf(n-1));  in approximate()
1349         BigInteger big_op = BigInteger.valueOf(op);  in approximate()
1350         BigInteger big_op_squared = BigInteger.valueOf(op*op);  in approximate()
1365             current_power.divide(BigInteger.valueOf(current_sign*n));  in approximate()
1408           current_term = x_nth.divide(BigInteger.valueOf(n * current_sign));  in approximate()
1478           current_factor = current_factor.multiply(BigInteger.valueOf(exp - 2));  in approximate()
1483           BigInteger divisor = BigInteger.valueOf(exp - 1);  in approximate()
1490           current_term = current_factor.divide(BigInteger.valueOf(exp));  in approximate()
1551             BigInteger scaled_sqrt = BigInteger.valueOf((long)scaled_fp_sqrt);  in approximate()
1583     private static BigInteger TOLERANCE = BigInteger.valueOf(4);
1594         if (p >= 0) return scale(BigInteger.valueOf(3), -p);  in approximate()
1617             final CR b_prod_as_CR = CR.valueOf(b_prod).shiftRight(-eval_prec);  in approximate()