check_int        1627 numeric.c          check_int(num);
check_int        1636 numeric.c          check_int(num);