Division mit Rest
under Euclidean division by the moduli. That is