The development of this directory predates `src/Arithmetic`, and should probably
be considered to be superseded by it. The p256 Montgomery reduction for
a 128-bit cpu synthesized here still works.