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