I'm just wondering how many shares were issued after the two PRs. My hunch the OS and the Float is bigger.