Fix for json encoding Decimal values