Thanks @scirpus, though that’s a little out of date. I was just going off the numbers I remembered from a recent look at CoinMarketCap and the info re. payouts on the Round Results page.
FWIW, I find this, especially when combined with the payout rate curve, a fascinating subject from an applied economics POV. Afaics, it’s really well designed. But time will tell.