Doing serious and difficult mathematics by computer: played chartered accountant for a few sessions of number crunching (1980s+ Computer)