Assuming a weighted average of about $1080(1083 and 1077) payout per $1000 of principal, $9.944 million in principal translates to about a $10.736 million payout.
With a $1.40 conversion rate and assuming everyone and their dog converts, that adds another 7,668,571 shares to the mix.
Well it's close
~7,668,571
-6,074,072
~1,594499 - it's better than 30 million