The float should be below 500k if none of the new shares are in it, but I'm not sure that's the case.