I don't think there's a single top-level protocol that defines /. The same / operator is defined separate by BinaryInteger and FloatingPoint, but the two have different semantics (integer division vs floating-point division).
IIRC the Swift numerics package had a protocol that unified these, but I don't remember the details.