結果 : python int string leading zeros