Re: [Python-ideas] dict(default=int)