The population ratio is another view of the same weight 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 ratio uses the same weights
Upper over lower is one over three.
NlowerNupper=31
No new population source is invented
The ratio and fractions share one two-state check.