from optimizing away mod's sign adjustment when mod == 0; so it got
the intended result only in the debug build.