Refactoring IntTraits.
Calculations uses NextType.