Good spotting.
The correct way is of course to get an INT_TYPE and then throw an error if it doesn't fit in an INT32.
If it's more then this spot left (I doubt it, I've run with long long ints for years??!) you might want to expand get_all_args for a 32-bit int target.