doctor, generally speaking, if a float goes up this doesn't necessarily indicate that the OS has also increased. it can mean shares came off restriction.
however, in this case the OS did go up along with the float. just wanted to make that clarification.