> Besides, at the end of the day, a half-approach would be to > have a widest-signed-integral and a widest-unsigned-integral > type and only play with those two. Clarification: to have those two types as fundamental (ie: promotion-favourite) types, not the sole types in the language.