Found at “Grouping digits in SQL | Peter Eisentraut” on 2023-09-21 11:47:28 +02:00.

One of the minor new features in PostgreSQL 16 that I am excited about is the ability to group digits in numeric literals by separating them with underscores