Is there some retiring of coin going on? I noticed on the chain explorer the in circulation amount seems to have gone down (haven't checked in awhile though).