add annotations to biguint
Merge pull request #2182 from WalterBright/annotate-biguint

add annotations to biguint