US TREASURY HAS JUST BOUGHT BACK $3,714,000,000 OF ITS OWN DEBT.