Must be bigger than 23.5 now with the interest rates currently (and for the foreseeable future) being paid!
Probably the no. you first thought of times 35 or something similar. Who knows?
IE - for someone wanting to retire on £35K a year in UK, you would need £1.225 Million pension pot.
Good luck!!