
  * provide more functions for bigintegers, such as sum, prod, min, max, ...

  * provide basic algorithmns and number theoretic symbols (CRA, Jacobi symbol)

  * provide binary-to-biginteger interface with bitwise operations (i.e., bit access to big integers)

  * test, test, test, ...

