Absolutely correct, Henrik and a nice clear explanation - at least that's how it seems to work in the projects I've done. The PLL does a fixed multiply by 24. PLL's can distort the shape of the square wave coming out of them (the high time might be different than the low time) so you make it run twice as fast as needed, then divide by 2 afterwards to make the shape nice and symmetrical again.