Rust: Se debe documentar el comportamiento de redondeo de división / resto de enteros

Usando Google, puedo encontrar muchos argumentos antiguos sobre cómo debería funcionar la división de enteros en Rust, pero no puedo encontrar nada en la referencia, los documentos de API para los tipos de enteros o los documentos de API para el rasgo Div que dice lo que realmente se decidió. (Y la documentación parece implicar que / , checked_div y wrapping_div pueden no hacer lo mismo). Esto se confunde aún más por la documentación de tipo entero que aparentemente a veces usa / para referirse a la división de enteros y, a veces, a la división matemática. (No se me ocurre ninguna otra interpretación razonable de floor(self / other) en la documentación de wrapping_div .) Sería bueno si esto estuviera claramente documentado en alguna parte, ya que varía entre los idiomas y es uno de las principales confusiones con la aritmética de enteros.