I know that current GMP implements Schönhage-Strassen algorithm, but does it implement the new algorithm, Harvey-Hoeven algorithm? If so, since how many digit it is effective?