pub type N1 = NInt<U1>;
struct N1 { /* private fields */ }
(-1)^N = 1 if N is even
(-1)^N = -1 if N is odd