578           BigInteger scaled_int = scaled_CR.get_appr(0);  in toString()  local
579           String scaled_string = scaled_int.abs().toString(radix);  in toString()
595           if (scaled_int.signum() < 0) {  in toString()
656         BigInteger scaled_int = scaled_res.get_appr(0);  in toStringFloatRep()  local
657         int sign = scaled_int.signum();  in toStringFloatRep()
658         String scaled_string = scaled_int.abs().toString(radix);  in toStringFloatRep()
663             scaled_int = scaled_res.get_appr(0);  in toStringFloatRep()
664             sign = scaled_int.signum();  in toStringFloatRep()
665             scaled_string = scaled_int.abs().toString(radix);  in toStringFloatRep()
715         double scaled_int = get_appr(needed_prec).doubleValue();  in doubleValue()  local
717         long scaled_int_rep = Double.doubleToLongBits(scaled_int);  in doubleValue()
722             if (scaled_int < 0.0) {  in doubleValue()