[math-fun] difference engine (was Re: pi)