In fact, since I asked for is_integral, static_cast works, but NumberTraits would work also. Do I change to NumberTraits ?
NB: is_integral forbids GMP integer, but I want that, since I cannot adress a vector with a GMP integer index.