[Python-ideas] dict(default=int)