"David E. Wheeler" <david(at)kineticode(dot)com> writes:
> Any interest in adding a function like this to core?
No, because it's already there: see "show server_version_num".
(It's probably worth noting that none of our existing clients that would
have any use for this information look at server_version_num, because
it's only available in 8.2 and up. A function introduced as of 8.4
would be an additional two major releases behind the curve.)
regards, tom lane