Peter Eisentraut <peter.eisentr...@2ndquadrant.com> writes: > I'm not quite sure what you mean by wanting to do arithmetic on the > numbers. My phrasing of the problem is that after a long query, you > might get output like this: > Time: 1234567.666 ms > which is pretty useless.
What I mean by that is that not infrequently, I'll run the same query several times and then want to average the results. That's easy with awk or similar scripts as long as the numbers are in straight decimal. I don't mind if we provide a way to print in Babylonian-inspired notation(s) as well, but I'm going to be seriously annoyed if that's the only way to get the output. regards, tom lane -- Sent via pgsql-hackers mailing list (email@example.com) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers