@lowqualityfacts This is a far too high quality fact. I mean, you need more information, and you'd have to convert the radius back to the circumference, but a calculation where that radius is used most definitely exists.