There seems to be a lot of misunderstanding re "fiat holders"
When we traded coin for fiat - It didnt automagically instantly convert itself into USD and pay itself into the bank. The fiat that the feds took obviously wasnt the fiat that so called fiat holders were holding.
Basically for these purposes while we do trades for fiat it could equally well be treated as another coin.