2^31-1は単位 long(2^63)のオーバーフローを考慮して、BigInteger(2^(2^31))が採用されるゲームです。
http://www.nicovideo.jp/watch/sm44296309