結果 : python integer formatting leading zeros