Update big_number.h