Fix Decimal encoding for json package