結果 : python format integer with preceding zeros