toJSON(int(1))
