My guess is that the float figure is totally inaccurate. They often are. Bet there's much more stock out there, one way or another.