(US federal government receipts 2005)/(US GDP 2005)