File 1099 INT for a foreigner

Hi there

How do I fill out the 1099 INT for a foreigner who received the interest during the year and paid the 10% tax on it during the year?

Let's say the total interest due in 2024 was $1,000 but, they paid $100 to IRS (so, the person received only $900). In 1099 INT (at Box 1 Interest Income) will be $900 or $1,000? 

Thank you