If they're retiring shares from the treasury the float hasn't been reduced. Float is still 608 or 610 or whatever it is...the treasury holding is the number that gets knocked down by 75.