13 template class Integer<8>;  variable
14 template class Integer<16>;  variable
15 template class Integer<32>;  variable
16 template class Integer<64>;  variable
17 template class Integer<80>;  variable
18 template class Integer<128>;  variable
21 static_assert(Integer<8>::partBits == 8);
22 static_assert(std::is_same_v<typename Integer<8>::Part, std::uint8_t>);
23 static_assert(Integer<16>::partBits == 16);
24 static_assert(std::is_same_v<typename Integer<16>::Part, std::uint16_t>);
25 static_assert(Integer<32>::partBits == 32);
26 static_assert(std::is_same_v<typename Integer<32>::Part, std::uint32_t>);
27 static_assert(Integer<64>::partBits == 32);
28 static_assert(std::is_same_v<typename Integer<64>::Part, std::uint32_t>);
29 static_assert(Integer<128>::partBits == 32);
30 static_assert(std::is_same_v<typename Integer<128>::Part, std::uint32_t>);