Don't count your chickens before they hatch. Actually look at your I/O budget flow (and especially your O) before thinking about what to save. Strategically, the number is around true inflation to whether or not you pay down debt versus invest. If your interest rate is below true inflation, then you simply invest as paying down the debt under those circumstances penalizes you twice. If your interest rate is above true inflation, then it's a question which others have weighed in on which comes down to your appetite for risk versus general market trends.
I'm out of the market. I missed the boat these last several years, but my household makes more than enough that we both don't care. We've already won, and we've locked in our "winnings". To have anything at all and not be in debt is suitable enough for our retirement (even if we end up having an acrimonious divorce, our prenup would break us up without large expense, and if anything, I'd be the one receiving alimony). Also, I don't think I can plan working past 45 anyway with the way the civil service works, so I am planning for the RIF retirement to kick in which pensions me only at 33% of my top 3 with a long life of inflation left to go.