The REAL market cap for EOS