As far as I know the float has not ever changed in the past 5 years, and I have no reason to think it has since last report in March.