I calculated $834 billion. So based on that it's probably close. I couldn't find a chart from FRED showing debt since June though