On Tue, 10 Nov 2020, Zoltan Somogyi wrote: >> For now, I suggest going with your third option above and change >> format_cast_int64_to_int etc to check if the platform is 32-bit and >> abort if it is. > > The attached code does this. I will commit the whole thing once you review it. Looks fine. Julien.