PIPPIN circulating supply