If you subtract the unrestricted shares which is the current float minus the last updated float you get 419,500,000 shares which is a nice round number which makes total sense.