added incrementers and decrementers to SpecificDomainInt