https://stat.ethz.ch/pipermail/r-sig-geo/2025-May/029541.html
Below we calculate individual distances along polygon edges, and sum up. This works here only because this is a single-ring polygon.
The numbers in play are
129.248935: the planar distance in the crs
129.285384: the "true" distance, to some insanely accurate level