>>927
8byte の double なら 4G 通りしか無いから、
32GB のメモリがあれば良いことになる。