Yes. About $140 billion. That’s why I used the word miniscule.
That’s more than any country on Earth (save us) spend on defense and is bigger than most countries budgets or even GDP. Miniscule? Seriously?