結果 : python string formatting integer leading zeros