Civ Rating (your Civilization Rating exceeds even...) - numbers

You see https://civilization.fandom.com/wiki/Hall_of_Fame_(Civ1) is not very accurate about that... And I could not find this info elsewhere so I tested myself. JCivED is the great tool, after all.
Maybe Rome on 640k a day contains this info, but I don't have this book (yet...)
So I tested it and the numbers are following (rating > number):
1 0% Dan Quayle
2 1% Emperor Nero (+1)
3 3% Ferdinand Marcos (+2)
4 5% Neville Chamberlain (+2)
5 8% Louis the XVI (+3)
6 12% Kaiser Wilhelm (+4)
7 16% Eric the Red (+4)
8 21% Otto von Bismarck (+5)
9 27% Simon Bolivar (+6)
10 33% Vladimir Lenin (+6)
11 40% Charles De Gaulle (+7)
12 48% Cleopatra (+8)
13 56% Winston Churchill (+8)
14 65% Sulayman the Magnificent (+9)
15 75% Franklin Roosevelt (+10)
16 85% Shogun Tokugawa (+10)
17 96% Thomas Jefferson (+11)
18 108% King Charlemagne (+12)
19 120% Emperor Augustus (+12)
20 133% Solomon the Wise (+13)

As you can see, the formula is very simple.
Something like
while (cr < civ_rating)
{
cr += place/3*2+1;
if (place%3 != 0)
cr++;
place++;
}
will do it.