Well the point is the following. Just because they are not tradeable doesn't mean they shouldn't be in the O/S. Afterall that just means they are not in the float but think about the fact that they are tradeable again in a few weeks or months so they NEED to be factored in into the O/S because they will be part of the O/S very soon again.