“35-40mm smaller, about 1-1/2”! That’s a lot!”
In diameter or circumference?
My bad, it’s circumference. See the Wikipedia link upthread.
So it’s only about 1/2” in diameter difference.