うーん、そのあたりは好みというか宗教になってしまいそうですねぇ。。。

6:29 AM

多分、型はコンピュータの内部表現を写し取っているべきだとすると Int32 になって、概念を写し取っているべきだとすると Int になるんじゃないでしょうか。