Source: wikibot/double-mersenne-number

= Double Mersenne number
{wiki=Double_Mersenne_number}