bugfixes in optimized and/or, mod_integer