what exactly do they do with them for the next 5 years?
Surely you wouldn't expect them to keep things super-slow just so they don't get too far ahead of where the curriculum wants them to be?
At my son's school (state grammar, not super-selective), they finished the GCSE syllabus at the end of year 9 which they started at the start of year 7. (Not to say they were all up to top grades at higher GCSE standard at end of year 9, but they'd had the lessons covering it all).
In year 10, they start to introduce aspects of further maths and A level work. From what I can gather, they concentrate on the A level and further maths topics that are complimentary to the GCSE work, so basically trying to cover all eventualities that may creep into the GCSE, and giving pupils alternative ways of ending up with the same result to broaden their ability. So basically, lots more of the same, but with "twists", so they're compounding their existing knowledge by lots of repetition as you'd expect, but avoiding the boredom factor by finding new angles (pardon the pun) in all kinds of way. One of their favourite test questions is to give a typical GCSE question, but asking for 2 or 3 different methods of working out the answer.
Quite refreshing actually in a time where the system is criticised for teaching to answer exam questions rather teaching subject knowledge, as this school is doing the latter, i.e. letting the pupils explore different angles to really broaden their core knowledge and understanding. Basically, it's got time on its hands so is able to take the subject further and wider than the core curriculum requires.
Then in year 11, the top two sets start further maths lessons in earnest as they take the further maths GCSE alongside the higher GCSE at the end of year 11. (At the moment, that is still the plan even with the changes).