如何在Python中解析Microsoft JSON日期？

import datetime
import json

class MicrosoftJSONDecoder(json.JSONDecoder):
    def __init__(self, *args, **kwargs):
        super().__init__(object_hook=self.dict_to_object, *args, **kwargs)

    def dict_to_object(self, d):
        if '__type' in d and d['__type'] == 'Date':
            return datetime.datetime.strptime(d['value'], '/Date(%s)/' % d['ticks'])
        return d

json_str = '{"date": {"__type": "Date","ticks": 637712256000000000,"value": "/Date(637712256000000000+0000)/"}}'
decoded_data = json.loads(json_str, cls=MicrosoftJSONDecoder)

print(decoded_data['date'])