#include <assert.h>
#include <stdio.h>

int main(){
    unsigned int x  = 1;

    unsigned int y = -x;

    assert(y == 4294967295);
    printf("y: %u\n", y);
    return 0;
}

Add testcase: retain precision when negating unsigned value
Add testcase: retain precision when negating unsigned value
