toJSON(abs(1))
