As of Aug. 14, 2024, there were 3.175 billion SEI in circulation, out of a total supply of 10 billion.