[Python-ideas] Re: Adding fixed-point decimals as an option to replace floating-point