fromJSON(toJSON(abs(1)))
