Fix for json serialization of Decimal