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