Implement PositiveModulo.