結果 : pad integer with leading zeros python