Вы можете использовать round()
:
SELECT ROUND(num2/num1, 1) FROM x;
PostgreSQL автоматически обновит деление до плавающей запятой, если num1
является плавающей запятой:
> select 3/3.145927;
?column?
------------------------
0.95361399040727899916
(1 row)
А:
> select round(3/3.145927, 1);
round
-------
1.0
(1 row)