Energy labels alone do not determine the shown population. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Equal explicit weights give equal populations
With equal weights, the upper fraction is one half.