That's on top of the $400 billion gift to arms dealers