Indeed. Also, the money is probably coming out of some money market fund or from selling treasuries.

In October, FedWire moved $4.275 trillion USD per day on average.