Double Mersenne number