Python JSON serialize a Decimal object Python JSON serialize a Decimal object python python