Thank you very much for your reply.
The tax is based indeed on foreign rental and the foreign income is reported in TT.
On the 1116 form (which I also filled out given that I also paid foreign taxes on dividends) the total tax credit shows all foreign taxes paid as credit so I should be good
