move modular increments and decrements into macros
add saturation arithmetic and a command line switch to use it instead of overflow arithmetic