Convert User Input String Python Documentation Built In