https://poolhj.blogspot.com/2022/08/how-to-measure-round-pool-size.html