fromJSON(toJSON(1))
