Paolo Carlini wrote: > this is, in my opinion, a long overdue clean-up, already mentioned > some time ago. Hummm... Actually, we have to think about it somewhat more: with this kind of change int_type is not (an can't be, apparently) of class type anymore and we are able to catch much fewer misuses... sigh. Paolo.