Tagged weighted-mean

Weighted average of integers, computed exactly and rounded once to stated decimals with an explicit rounding mode.