I did in-plan conversion to ROTH 401K incl some post-tax money. Do I include non-taxable post-tax on line 3e form 1116, or subtract it in worksheet?

On 1040, post-tax is in 5a but not 5b. It is reducing my foreign tax credit and I know it is not taxable.