anchor.diff:  var
     R: Integer;
     D: BigInteger;
  -//  Estimate: BigInteger;
  -//  NewEstimate: BigInteger;
  -//  I: Integer;
   begin
     //  Write N - 1 as (2 ^ Power) * Factor, where Factor is odd.
     //  Repeatedly try to divide N - 1 by 2
  
positive.code: 
  initialization
    Two := 2;
    Random := TRandom.Create(Round(Now * SecsPerDay * MSecsPerSec));
  
  end.
  
negative.code: 
  var
    Two: BigInteger;
    DeterminicityThreshold: BigInteger;
    CertainlyComposite: BigInteger;
    Random: IRandom;
  
  // Rabin-Miller test, deterministically correct for N < 341,550,071,728,321.
  