Correctly handle a number passed on the command line