On Fri, Nov 1, 2019 at 7:41 AM Robert Haas <robertmh...@gmail.com> wrote: > Could we get around this by making Datum 8 bytes everywhere?
I really like that idea. Even Raspberry Pi devices (which can cost as little as $35) use 64-bit ARM processors. It's abundantly clear that 32-bit platforms do not matter enough to justify keeping all the SIZEOF_DATUM crud around. -- Peter Geoghegan
