We've had server_version_num since 8.2.
This patch advises devs to prefer to use it instead of parsing version() or
server_version unless using libpq, in which case PQserverVersion should be
used.
--
Craig Ringer http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services