Searched refs:scaled_CR (Results 1 – 1 of 1) sorted by relevance
602 CR scaled_CR; in toString() local604 scaled_CR = shiftLeft(4*n); in toString()607 scaled_CR = multiply(new int_CR(scale_factor)); in toString()609 BigInteger scaled_int = scaled_CR.get_appr(0); in toString()