[xg15]

Yeah, I think that was something that irked me about the "general" formulation: It suddenly brought in an average, i.e. a real, even though the "common" formulations only dealt with integers. This may be more general but made reasoning and understanding harder.