The FDIC keeps its own money in treasuries.