type(toJSON(1))
