Is U.S. national debt burden really $100 trillion?