Extract Number From String Python Documentation Built In