Extract Number From String Python Documentation Library