https://remp3indir.net/python-json-custom-encoder/