type-int-0.5.0.2: Type Level 2s- and 16s- Complement Integers