Cast input ticket numbers as ints