Firstly, that number in your napkin math is 0.52 Trillion, about a twelfth of 6 Trillion, rather the opposite of "over 6 Trillion". EDIT: never mind, missed that annual part.
Secondly, there are several options, but my preferred one is, straight up, this is a replacement for all other Federal...