結果 : python integer to string with leading zeros