The analogous would be the Go-style represent-a-sum-badly-as-a-product, struct nonzero_t { int is_negative; unsigned int one_less_than_the_absolute_v

The analogous would be the Go-style represent-a-sum-badly-as-a-product, struct nonzero_t { int is_negative; unsigned int one_less_than_the_absolute_value; }; which, under interpretation, ranges from -(2^32) to -1 and +1 to +(2^32).