Hello,
world!
Get random PostgreSQL number