汎整数拡張って何のためにあるんですか?