A statistical average is a weighted count ledger. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
The average uses every bucket count
The numerator multiplies each heads count by its multiplicity.