Re: [Python-ideas] %-formatting with Decimals