@saltywizard I feel like it would take more on the order of one fourth that amount. If even that much...

The rest could have been spent housing the homeless, feeding the hungry, funding research into diseases (CURING diseases I mean! Get that RFK Jr idiot out of power for the love of whatever!), and probably a bit left over for fixing some other things or something.