add annotations to biguint