Integer
divisions with different rounding modes than the division operator
(truncating rounding) are often useful. In the past, I've either
emulated them with floating point functions or implemented them from
scratch each time, but this is a feature which intuitively belongs in
the standard library.

I've made a rough draft of a proposal here:

The
proposal adds 14 functions for obtaining the quotient and remainder of
integer divisions with different rounding modes. There's also a working
implementation for all of them, which still needs more testing but is
most likely correct since I've tested most of it in past projects.

Feedback is highly appreciated, I'm new here :)