Any gains for the U.S. govt would have been largely irrelevant. Too small to make an impact fiscally when the coins serve a better purpose being in private hands. I'd say the same for their gold, so it's not exclusively a BTC view. There is zero point to the USG holding either.(𝐓𝐗𝐌𝐂)