Python JSON serialize a Decimal object,json.dumps(Decimal('3.9'))