結果 : string remove leading zeros python