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