Moving past the intuition for how division and remainders work for real numbers, there are other ways to look at "obvious" answers that suggests -7/2=4.

Consider x/3=y. For real numbers, it's trivial to manipulate this equation into (x-3)/3=y-1. However, this only works when integer division rounds down.

   5/3 =  1 rem 2  or  1 rem 2
   4/3 =  1 rem 1  or  1 rem 1
   3/3 =  1 rem 0  or  1 rem 0
   2/3 =  0 rem 2  or  0 rem 2
   1/3 =  0 rem 1  or  0 rem 1
   0/3 =  0 rem 0  or  0 rem 0
  -1/3 = -1 rem 2  or  0 rem -1
  -2/3 = -1 rem 1  or  0 rem -2
  -3/3 = -1 rem 0  or -1 rem  0

One of these has a consistent pattern, the other doesn't.

All of this is a fairly moot point: The answer is it should do what the algorithm using it needs it to do.