header of big_int