Lines Matching refs:double_int
972 double_int max; /* The upper bound on the number of iterations of