toJSON(min(i64))
