JSONEncoder cast Decimal to string