609           BigInteger scaled_int = scaled_CR.get_appr(0);  in toString()  local
610           String scaled_string = scaled_int.abs().toString(radix);  in toString()
626           if (scaled_int.signum() < 0) {  in toString()
687         BigInteger scaled_int = scaled_res.get_appr(0);  in toStringFloatRep()  local
688         int sign = scaled_int.signum();  in toStringFloatRep()
689         String scaled_string = scaled_int.abs().toString(radix);  in toStringFloatRep()
694             scaled_int = scaled_res.get_appr(0);  in toStringFloatRep()
695             sign = scaled_int.signum();  in toStringFloatRep()
696             scaled_string = scaled_int.abs().toString(radix);  in toStringFloatRep()
748         double scaled_int = get_appr(needed_prec).doubleValue();  in doubleValue()  local
750         long scaled_int_rep = Double.doubleToLongBits(scaled_int);  in doubleValue()
758             if (scaled_int < 0.0) {  in doubleValue()