I'm wondering what pipe slash |/
does in,
SET equal_area_radius = |/area/pi();
The statement works and it definitely changes the value:
SELECT |/125.555/pi(); -- returns: 6.32181918120139
SELECT 125.555/pi(); -- returns: 39.9653977598058
What does the pipe-slash operator |/
do?