Args on the command line that are integers need to be cast to integers.