結果 : python int add leading zeros