change types for int_div (tested)