Hi,
On 2025-04-07 19:59:59 +0200, Tomas Vondra wrote:
> This reminds me whether it's fine to have "os_page_num" as int. Should
> we make it bigint, perhaps?
Yes, that's better. Seems very unlikely anybody will encounter this in the
next few years, but it's basically free to use the larger range here.
Greetings,
Andres Freund