For a lot of us this would be FU money if you don't have the desire to live big. Plus he gets the pension.
Good scenario modeling tool: cFIREsim: http://www.cfiresim.com/#
You can login as HNHN : HNHNHN and look at the scenario I modeled using the information in this thread. That has a 100% success rate from now until 2080, assuming a 3.5% annual spend ($35K to start) AND ignoring any new money being added (from his mathematics or other work).
It's not Maserati money perhaps, but it's absolutely a secure retirement for someone currently living on $25K/yr.
The original poster calculated the value off the $1.8MM (not the tax-deductible number), and simultaneously made a place value error ($12k/year is 0.7%, not 7%, of $1.8MM).