because one cannot json.dumps such values with the current encoders... hacky solution provided below: **in server.py:** consider adding line 180  **in proxy.py** consider revising final line 