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 :)