On Fri, 3 Apr 2026 at 11:13, Tiago Freire <tmiguelf@hotmail.com> wrote:

To be honest I haven't made much progress lately because I haven't been feeling very motivated due to frustrations with the process.

I will try to force myself to get an update on the paper in the upcoming weeks, and perhaps also compile a list of papers that are now dependent on P3161 being accepted (which is currently mounting).

Thanks for your continued effort.

I will try to do what I can, but I don't want anyone to be disappointed.

Last meeting made it very clear to me that I need to be in the room to explain the same objections over and over again, and I simply don't have the resources to skip work and family to fly around the world and stay at a hotel for a week because maybe the paper might be discussed or not, and who knows how many times I have to rinse and repeat.

That's unfortunate. If you need someone to champion the paper in person though, I can help with that.

I think you're also in a tough position because the paper isn't broken down into smaller pieces. std::mul_wide (should be std::widening_mul now though) is a total no-brainer, and the design is obvious. It probably would have been in the standard already if it was separated. std::carrying_add and std::borrowing_sub could be one separate paper too. Last but not least, anything related to division would be in a third paper.