Maybe, but a SignedInteger couldn't conform to it. Euclidean division requires that the remainder be non-negative.