When N is odd (1, 3, 5, ...), there cannot possibly be any set comprising exactly "half" the data. Our convention is that the median of a batch divides it into two groups, the "upper" and "lower" halves, that overlap exactly at the median. Thus, for example, the median of a batch of three divides the batch into two sets of two.