C++ formalized two's complement already. Formalizing power-of-two word size and 8-bit bytes might come.