Tagged weighted-average

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