quotRem package:constrained-categories

simultaneous quot and rem