debt to GDP ratio

(4) Debt to gdp ratio .— The term “debt to GDP ratio” means the percentage obtained by dividing the level of the total public debt or net public debt, as the case may be, by the gross domestic product.


31 USC § 3130(e)(4)

Scoping language

For purposes of this section
Is this correct? or