Searched refs:scaled_int (Results 1 – 1 of 1) sorted by relevance
578 BigInteger scaled_int = scaled_CR.get_appr(0); in toString() local579 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() local657 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[all …]