Control JSON serialization in Python using property decorators