force all args to ints in getline