I have confirmed that the "Gross Income from All Sources Smart Worksheet" in the Form 1116 is erroneous.
The "Calculated gross income from all sources" field is adding the "foreign income excluded" twice in the total. To fix it, I added an adjustment of minus "Foreign Income Excluded" -- this fixed the calculation for my taxes -- but Turbotax should fix the bug.
