Searched refs:scaled_CR (Results 1 – 1 of 1) sorted by relevance
599 CR scaled_CR; in toString() local601 scaled_CR = shiftLeft(4*n); in toString()604 scaled_CR = multiply(new int_CR(scale_factor)); in toString()606 BigInteger scaled_int = scaled_CR.get_appr(0); in toString()