Update biginteger.h