Searched refs:scaled_CR (Results 1 – 1 of 1) sorted by relevance
571 CR scaled_CR; in toString() local573 scaled_CR = shiftLeft(4*n); in toString()576 scaled_CR = multiply(new int_CR(scale_factor)); in toString()578 BigInteger scaled_int = scaled_CR.get_appr(0); in toString()