Subsidy-era arithmetic and chain-state definitions support a careful measurement of <a href="https://medium.com/@cryptopeo/how-to-check-bitcoins-minted-supply-at-a-block-height-f307cfa74f32">total bitcoins in circulation</a>