Apparently the number required is not fixed. It depends on how many current (expensive I guess) people at the top take the redundancy package on offer or career breaks. It could be 10 to 25 apparently.
This is third hand information though so make of it what you will.