Hello, The extra_integer associated type is used for extra information in Texinfo tree elements in C that correspond to integers. Currently the associated type is long, but in most cases, it is used as an int. I think that it should be homogeneous, both storage and use should use the same type. Should it be better to use long or int?
(Note that previously there were casts from/to intptr_t, so homogeneity was not possible anyway but it is not like that anymore). -- Pat
