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