A lower state can dominate when its explicit weight is larger. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Weights set the population fractions
The lower state has three shares and the upper state has one share.
Plower=43,Pupper=41
The upper fraction is one quarter
The upper-state population is one quarter of the finite ledger.