Searched refs:b_prod (Results 1 – 1 of 1) sorted by relevance
1595 final BigInteger b_prod = a.multiply(b).shiftRight(-eval_prec); in approximate() local1599 final CR b_prod_as_CR = CR.valueOf(b_prod).shiftRight(-eval_prec); in approximate()