Yeah I am pretty certain that the whole point of raising the AS is because the OS and Float for that matter were going to exceed the previous 2 billion AS. Might as well make up numbers, why not something over 2 billion since it is likely above there currently....