*_000_0000_0000_****_****_****_****_****_****_****_****_****_****_****_****_**** 
    => 2^53 = 9,007,199,254,740,992
    => #zeroes = 2
    => #denormals = 9,007,199,254,740,990
        => #positive = 4,503,599,627,370,495
        => #negative = 4,503,599,627,370,495

##</code><code>##

    *_000_0000_0000_****_****_****_****_****_****_****_****_****_****_****_****_**** 
    => 2^53 = 9,007,199,254,740,992
    => #infinities = 2
    => #NaNs= 9,007,199,254,740,990
        => #signalling = 4,503,599,627,370,495
        => #quiet      = 4,503,599,627,370,495

##</code><code>##

    18,446,744,073,709,551,616 = #64bit values
  -     18,014,398,509,481,984 = #zeroes + #infinities + #denormal + #NaN
  = 18,428,729,675,200,069,632 = #normalized numbers

##</code><code>##

cmd.exe> perl -MMath::BigInt -E "$b = Math::BigInt->new(2); my $x = ($b**$ARGV[0]); $x =~ s/(\d{1,3}?)(?=(\d{3})+$)/$1,/g ; say $x" 52
4,503,599,627,370,496

cmd.exe> perl -MMath::BigInt -E "$b = Math::BigInt->new(2); my $x = ($b**$ARGV[0]); $x =~ s/(\d{1,3}?)(?=(\d{3})+$)/$1,/g ; say $x" 53
9,007,199,254,740,992

cmd.exe> perl -MMath::BigInt -E "$b = Math::BigInt->new(2); my $x = ($b**$ARGV[0]); $x =~ s/(\d{1,3}?)(?=(\d{3})+$)/$1,/g ; say $x" 54
18,014,398,509,481,984

cmd.exe> perl -MMath::BigInt -E "$b = Math::BigInt->new(2); my $x = ($b**$ARGV[0]); $x =~ s/(\d{1,3}?)(?=(\d{3})+$)/$1,/g ; say $x" 64
18,446,744,073,709,551,616

cmd.exe> perl -MMath::BigInt -E "$b = Math::BigInt->new(2); $p1 = Math::BigInt->new($ARGV[0]); $p2 = Math::BigInt->new($ARGV[1]); $x = $b**$p1; $y = $b**$p2; $z = $x-$y; say join qq|\n|, map { s/(\d{1,3}?)(?=(\d{3})+$)/$1,/g; $_ } $x, $y, $z;" 64 54
18,446,744,073,709,551,616
18,014,398,509,481,984
18,428,729,675,200,069,632