toJSON(max(i64))
