fixed div_integer bug