Is 1 double mersenne prime?