Just to be clear, your correction is very welcome! I wouldn't have spotted the issue in a month of Sundays. :wink:

Rather than expand (and hence delay) this PR with the introduction of weighted-sum, would it be OK to adjust the comment to mention that the use of the MEAN operator and re-multiplying by the sum of weights is a temporary workaround for the lack of a weighted sum?