Python JSON serialize a Decimal object Python JSON serialize a Decimal object json json