Rust: O comportamento de divisão inteira / arredondamento restante deve ser documentado

Usando o Google, posso encontrar muitos argumentos antigos sobre como a divisão de inteiros deve funcionar no Rust, mas não consigo encontrar nada na referência, os documentos da API para os tipos inteiros ou os documentos da API para o traço Div que diz o que foi realmente decidido. (E a documentação parece implicar que / , checked_div e wrapping_div podem não fazer a mesma coisa.) Isso é ainda mais confundido pela documentação do tipo inteiro aparentemente às vezes usando / para se referir à divisão inteira e às vezes à divisão matemática. (Não consigo encontrar nenhuma outra interpretação razoável de floor(self / other) na documentação wrapping_div .) Seria bom se isso estivesse claramente documentado em algum lugar, já que isso varia entre os idiomas e é um deles das principais confusões com aritmética inteira.