The following performance comparisons were done on 2003-12-18 on a
2.4 GHz Pentium IV with 1GB of RAM (mostly free) using Cryptokit's
speedtest.ml (built as optimized native code).  The numbers represent
seconds to perform the stated operations, so smaller is faster.

Numerix.Slong:
  1.36  RSA key generation (1024 bits) x 10
  0.42  RSA public-key operation (1024 bits, exponent 65537) x 1000
  2.40  RSA private-key operation (1024 bits) x 100
  0.77  RSA private-key operation with CRT (1024 bits) x 100

Numerix.Gmp:
  1.49  RSA key generation (1024 bits) x 10
  1.21  RSA public-key operation (1024 bits, exponent 65537) x 1000
  2.17  RSA private-key operation (1024 bits) x 100
  0.73  RSA private-key operation with CRT (1024 bits) x 100

Original (OCaml <= 3.07) Nat:
  2.31  RSA key generation (1024 bits) x 10
  0.47  RSA public-key operation (1024 bits, exponent 65537) x 1000
  3.08  RSA private-key operation (1024 bits) x 100
  0.95  RSA private-key operation with CRT (1024 bits) x 100

New (OCaml >= 3.08) Nat:
  2.84  RSA key generation (1024 bits) x 10
  0.73  RSA public-key operation (1024 bits, exponent 65537) x 1000
  2.86  RSA private-key operation (1024 bits) x 100
  1.09  RSA private-key operation with CRT (1024 bits) x 100

Numerix.Big:
  2.31  RSA key generation (1024 bits) x 10
  2.28  RSA public-key operation (1024 bits, exponent 65537) x 1000
  3.30  RSA private-key operation (1024 bits) x 100
  1.48  RSA private-key operation with CRT (1024 bits) x 100

Numerix.Dlong:
  4.86  RSA key generation (1024 bits) x 10
  1.14  RSA public-key operation (1024 bits, exponent 65537) x 1000
  8.78  RSA private-key operation (1024 bits) x 100
  2.61  RSA private-key operation with CRT (1024 bits) x 100

Numerix.Clong:
  6.35  RSA key generation (1024 bits) x 10
  1.17  RSA public-key operation (1024 bits, exponent 65537) x 1000
  8.77  RSA private-key operation (1024 bits) x 100
  2.98  RSA private-key operation with CRT (1024 bits) x 100
