*: update redefs of `to_json`