[expr.mul] (original) (raw)

The binary / operator yields the quotient, and the binary% operator yields the remainder from the division of the first expression by the second.

If the second operand of / or % is zero, the behavior is undefined.

For integral operands, the / operator yields the algebraic quotient with any fractional part discarded;63if the quotient a/b is representable in the type of the result,(a/b)*b + a%b is equal to a; otherwise, the behavior of both a/b and a%b is undefined.