I have read all the IRS pamphlets.
In redoing my UK tax to remove the employment/vacation pay, it appears I will owe HMRC about 2,200 pounds for 2017/18. That's (at $1.40) about $3,080.
I paid the IRS about $5,900 dollars in tax for Jan-Dec 2017. Of that, roughly half is attributable to retirement income. (About $2,900).
So, if my US tax liability for 2018 is going to be around $2,300, I get to subtract that from $3080. Which gives me an excess credit of about $780 to carry back to 2017 in 2019.
$2,900 - $780 means I'm being double-taxed to the tune of $2,120.
SO, there is supposed to be no double-taxation. There is a treaty in place, is there not?