President Trump: It looks like it's about 3.1 billion [renovating Federal Reserve]. It went up a little bit. Or a lot. So the 2.7 is now 3.1.
Chairman Powell: I'm not aware of that, Mr. President.
President Trump: It just came out.
Powell: I haven't heard that from anybody at the Fed.