I was assuming they were restricted, and that being the case they would not be considered in the float. I don't know for sure because NTEK hasn't given out the proper details.