Years to double and percent growth are related by the "rule of 70". Divide one into 70 and get the other. To double in 20 years is about 70/20 or 3.5% growth per year. To double in 15 years is 70/15 or about 4.7% growth per year.

9% growth per year would double in 70/9 or 7.8 years! That would be quite a feat.

Can't remember where my brain was at when I did that calculation but likely did not factor in compounding.

So many details, so little time.