extra_integer associated type: long or int?

[Patrice Dumas]

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