Update intstring.h