According to Wikipedia, he's 63. Doesn't seem to be all that old, from my perspective (I'm 40). Good on him, that he has the money to call it quits. I'm saving/investing money to be in that position as well, after reading about the FIRE movement.
Go FIRE! Special shout out to Mad Fientist and Paula Pant! Love their podcasts.
63 is the average retirement age in the US, though. And the better part of a decade past the average for many countries with more socialised services (for example, Australians retire at 55 on average).
Really? Did not know that. I was expecting this to be much higher, due to the bad news that I've been reading about the state of pensions.