Yes it is, but that doesn’t mean it WILL be traded, it just means it CAN be traded. You’re right, I don’t think a lot of those shares would be sold on the market - I’m in another one right now where I’ve confirmed a large holder has passed away, and the millions he owned will never see the light of day on the open market, so the perceived float is much smaller.. BUT, they are still technically included in the float.