Reduce Map And Filter Function Python Format Integer With Leading