Fix lint assert on integer vector division