If foreign tax paid is under $300 for a single filer, is it necessary to calculate Form 1116, which is usually less than foreign tax paid?