> It's almost like we need a different "combining" operator for the latter that means to add both the numerator and denominator, because + isn't right for this.

> It's almost like we need a different "combining" operator for the latter that means to add both the numerator and denominator, because + isn't right for this. Now that I think about it, I'm surprised there is no such operator for averaging. This would also cause confusion, because combining 1/3 with 1/2 and 2/4 in this way would yield different results, even though 1/2 = 2/4.