In fact, as you supposed, I did not receive a 1099-INT for the interest I received from the IRS/US Treasury (not from my bank) and I will amend my return per your directions. Thank you!
