Fix Python – Python JSON serialize a Decimal object

I have a Decimal(‘3.9’) as part of an object, and wish to encode this to a JSON string which should look like {‘x’: 3.9}. I don’t care about precision on the client side, so a float is fine.
Is there a good way to serialize this? JSONDecoder doesn’t accept Decimal objects, and converting to a float beforehand yields {‘x’: 3.8999999999999999} which….