Searched refs:scaled_int (Results 1 – 1 of 1) sorted by relevance
606 BigInteger scaled_int = scaled_CR.get_appr(0); in toString() local607 String scaled_string = scaled_int.abs().toString(radix); in toString()623 if (scaled_int.signum() < 0) { in toString()684 BigInteger scaled_int = scaled_res.get_appr(0); in toStringFloatRep() local685 int sign = scaled_int.signum(); in toStringFloatRep()686 String scaled_string = scaled_int.abs().toString(radix); in toStringFloatRep()691 scaled_int = scaled_res.get_appr(0); in toStringFloatRep()692 sign = scaled_int.signum(); in toStringFloatRep()693 scaled_string = scaled_int.abs().toString(radix); in toStringFloatRep()745 double scaled_int = get_appr(needed_prec).doubleValue(); in doubleValue() local[all …]