anchor.diff:          tryPow 1
   
   let checkBases num =
  +    // todo: change into array only
       let bases =
           match num with
           | prim when prim < 1373653I ->
  
positive.code:                     match innerMillerRabin num x s m d with
                      | ProbablePrime _ -> true
                      | _ -> false)
              let result =
                  if passesAllBases
                  then
                      Prime num
                  else
                      Composite num
              result
          | _ ->
              // try random bases
              let rec tryRandomBase (i : int) =
  
negative.code:             Some [ 2I; 3I; 5I; 7I; 11I; 13I; 17I; 19I; 23I ]
          | _ -> None
  
      // todo: document what is s
      let m = num - 1I
      let calcS m =
          let rec inner s (n : bigint) =
  