So do I convert the withholding tax paid to US $ and enter it as as if I paid US taxes under 1099-R AND also take the foreign tax credit?
