fixed Decimal handling in json encoding