add traits for the big integers, document some of the code in there