David C. Partridge wrote: >> definition of "pie" > > 3.1415926535 etc ? > > Ooops > D. > And, as my daughter reminds me, today is pi day (in the U.S. where we write the date month/year.. those of you in the rest of the world will have to wait a long time, as there is no April 31st)