I respectfully disagree. Literal 'default' will not happen, because the gov't doesn't owe <b>money</b>; It merely owes dollars.
Big difference. Every last dollar owed will be faithfully repaid in full. Whether or not those dollars will be useful for anything more than furnace fuel is another...