static IntType invert(IntType x) { return x == 0 ? 0 : invert_euclidian(x); }
static IntType invert(IntType x) { return x == 0 ? 0 : (m == 0? invert_euclidian0(x) : invert_euclidian(x)); }