無限を扱うのは特殊ケースだからそのための特別なものがあればいいと思います。Int = Int64にするのが妥当なところじゃないですかね。

4:51 AM

一貫性を考えるならInt無くしてもいい。

4:52 AM

無限の数というのをIntを含むInt8 〜Int64のファミリーとするのは無理がありますね。 (edited)