Hi,

I'm working on a proposal that would add functions for integer
division in various rounding modes:

https://isocpp.org/files/papers/D3724R0.htm

This is something I actually wanted to write years ago, but I was
under the false impression that SG6 is already working on this
problem. In reality, the proposal P0105R1 which last worked on this
was abandoned a long time ago.

Anyway, please share your thoughts :)