OK, I see on page 33 where, combining Loans + Guarantees + Insurance, you get $35.8 Billion. Of which, United Arab Emirates is the largest recipient with $3.3 Billion. Interesting that they count the US, with $4.8 Billion in guarantees - US companies aren't eligible for EXIM.
The higher number for Boeing is due to satellite sales in addition to aircraft.