それが無いと思うんですよね、実際に 2^32より大きい値をIntに自然に入れるのをみたことがないから。明示的にInt64な有理数(分母と分子のタプル)時刻型とか、さっきの大規模サービスのIDとか、事前に想定されたシチュエーションぐらいです。