結果 : trim leading zeros python