[math-fun] U.S. national debt as a mortgage loan