We could stand to be more explicit here. The docs for version() indicated the server_version_num should be used for "machine processing".The implied correct way to access the canonical server version is thus:SELECT current_setting('server_version_num');
pgsql-hackers by date:
Соглашаюсь с условиями обработки персональных данных