We should figure this out before 2048, as that's the first time the halving is rounded to the sat.