Double_Mersenne_number loading ...