Convert User Input String Python Documentation