> The issue is that unsigned integers must not trap on overflow

You forgot to add 'in C', in Zig they have the same behaviour as signed integers.