型の上限以外に、Upperbound、Lowerboundのある組み込み整数型が欲しい。