So far, the federal government has used excess funds to reduce debt held by the public, paying down $223 billion in fiscal year 2000 alone.
Federal government debt was reduced $223 billion in 2000.