Update bigint-decl.hh