Efficient bit vector, set of integers and "big int" math library