[#42] Dump non-string extras with json

Convert any non-string extra values to strings using json.dumps(),
instead of just deleting them.