Extract Number From String Python Documentation Tutorial