check_int        2628 numeric.c          check_int(num);
check_int        2637 numeric.c          check_int(num);