それはおっしゃる通りInt32を使うべきだと思います。

5:16 AM

私は最初は論点はIntが実行環境によって変わることを問題にしていたと思っていて、そこは私も同意です。