Searched defs:scaled_int (Results 1 – 1 of 1) sorted by relevance
609 BigInteger scaled_int = scaled_CR.get_appr(0); in toString() local687 BigInteger scaled_int = scaled_res.get_appr(0); in toStringFloatRep() local748 double scaled_int = get_appr(needed_prec).doubleValue(); in doubleValue() local