python input for integers