Fixed supply and a smart halving model show they really thought this through (I use <a href="https://lescobil.pk/lesco-bill-calculator/">Lesco bill calculator</a> to double-check the supply math 😅).