(US federal government receipts)%2F(US GDP)