article h2:first-child{padding-top:28px;}article > div > p:first-child{padding-top:4px;}
There is a total set supply of 10 billion IOTX tokens available, with 9,644,304,442 tokens in circulation at time of writing.