There may be 713M shares trading as you say in your message but we have very close to a Billion tied up in some way like unexecuted warrants that still eat up the authorized share account (until they expire)
IMO