Re: [Python-ideas] decimal by default