We've had server_version_num since 8.2.
Advise devs to prefer to use it instead of parsing version() orserver_version .
-- Craig Ringer http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Training & Services