Let's back up. Is your 2020 refund $YYY the amount on 1040 line 35a? Then it includes the $XXX extension. You don't get $ZZZ ($YYY+XXX).
Or did the IRS send you less than the refund on line 35a?
