Extract Number From String Python Documentation W3schools