Re: [Python-ideas] make decimal the default non-integer instead of float?