429         static CR ten_ninths = valueOf(10).divide(valueOf(9));
430         static CR twentyfive_twentyfourths = valueOf(25).divide(valueOf(24));
431         static CR eightyone_eightyeths = valueOf(81).divide(valueOf(80));
560           return CR.valueOf(scaled_result).divide(CR.valueOf(divisor));  in valueOf()
813     public CR divide(CR x) {  in divide()  method in CR
878         BigInteger halfpi_multiples = divide(PI).get_appr(-1);  in cos()
1180         BigInteger result = adj_dividend.divide(abs_scaled_divisor);  in approximate()
1226           current_term = current_term.divide(BigInteger.valueOf(n));  in approximate()
1272           current_term = current_term.divide(divisor);  in approximate()
1303         BigInteger op_inverse = scaled_1.divide(big_op);  in approximate()
1314           current_power = current_power.divide(big_op_squared);  in approximate()
1317             current_power.divide(BigInteger.valueOf(current_sign*n));  in approximate()
1361           current_term = x_nth.divide(BigInteger.valueOf(n * current_sign));  in approximate()
1437           current_factor = current_factor.divide(divisor);  in approximate()
1443           current_term = current_factor.divide(BigInteger.valueOf(exp));  in approximate()
1481             BigInteger shifted_result = scaled_numerator.divide(last_appr);  in approximate()