Exactly. 60k coins way back when is not directly comparable with 500k coins much later. As I've pointed out before during the "let's ban digging" discussion, diggers are already being diluted by letting their CLAMs stay undug for so long, and it gets worse and worse for them as time goes on.
Now if someone had dug 500k during (or immediately after) the lottery era, then indeed 60k would have been worth a lot less in future staking, but that isn't what happened.
OK, but I think the late 500k dig is still 'bigger' than the 60k lottery, even when adjusted for inflation.
The 60k lottery winnings diluted a 70k supply, so the lottery winnings represented 60/130 of the supply. By the time the whale digger appeared, a further 450k had been staked. The lottery winnings would have staked 60/130 of that, or 207k, and so would have been worth around 207k+60k = 267k in total. The digger dug up 500k coins, so around twice as much even after adjusting for inflation.
But yeah, the whale digger was only twice as big as all the lottery winners combined, not ten times as big as I previously claimed.