... in 2024 dollars, of course. Much more by the time we get there (unless doing so obsoletes the dollar altogether).