cast command line arguments as integers