What 1099 do I file since irs paid me interest on my 2018 amended refund? (It was $2.76)