The 800+ million shares that come off restriction over the next 3 months are not part of the float that hasn't been issued.