0を含まない整数の型を作るにはどうすればいいんですか?