Rust: Le comportement d'arrondi de la division entière/du reste doit être documenté

En utilisant Google, je peux trouver de nombreux arguments anciens sur le fonctionnement de la division entière dans Rust, mais je ne trouve rien dans la référence, les documents API pour les types entiers ou les documents API pour le trait Div qui dit ce qui a été réellement décidé. (Et la documentation semble impliquer que / , checked_div et wrapping_div peuvent ne pas tous faire la même chose.) Ceci est encore plus confus par la documentation de type entier qui utilise apparemment parfois / pour se référer à la division entière et parfois à la division mathématique. (Je ne peux pas proposer d'autre interprétation raisonnable de floor(self / other) dans la documentation wrapping_div .) Ce serait bien si cela était clairement documenté quelque part, car cela varie selon les langues et en est un des principales confusions avec l'arithmétique des nombres entiers.