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