[Python-ideas] Re: Giving Decimal a global context was a mistake?