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