I'm not aware of there having been such a calculation either with respect to foreign income or with respect to underlying domestic income that may not have been subject to full tax.
You asked me about my discomfort level. It probably doesn't matter how comfortable or uncomfortable I am. I can tell you what I know, and that is that the rule is designed--