Correct but by definition, isn't that how true float shares are calculated?
Seems your definition of float does not include shares held tight or locked shares. I believe they are part of the float share calculation because if the price gets to a certain point, these locked shares will be sold