I think that Zig has undefined behaviour for + overflow both both signed and unsigned values. It also has an 'add_modulo' operator.