Searched refs:scale_digits (Results 1 – 1 of 1) sorted by relevance
1144 int scale_digits = prec1 + prec2 - p; in approximate() local1145 return scale(appr1.multiply(appr2), scale_digits); in approximate()