create ThatInt type