Efficient bit vector, set of integers and "big int" math library. Manual and Help Documents