div
div is available iff mul is commutative, since ldiv and rdiv would behave exactly the same, and we sometimes want to specify "the division" instead of having to specify ldiv or rdiv.
div is available iff mul is commutative, since ldiv and rdiv would behave exactly the same, and we sometimes want to specify "the division" instead of having to specify ldiv or rdiv.