Foreign tax - UK SIPP distribution

My wife has a UK 'Self-Invested Pension Plan' invested in UK mutual funds. She sold part of her holding last year and had 10% deducted for UK tax. How can I report the foreign-sourced passive income and foreign tax paid on Form 1116 via TT? (These sums are bigger than the few hundred $$ in foreign tax reported on my 1099-DIV forms, and I understand TT needs to the biggest amounts to come first.)