(US federal government receipts)/(US GDP)