Create big_integer.h