Integer types with customizable niche values
Integer types that cannot be the maximum value, allowing for memory layout optimization and intuitive arithmetic operations.
A NonMax integer implementation not relying on NonZero