On 8/17/15 2:47 PM, Dmitry Olshansky wrote: > > Actually one can combine the two: > - use integer type tag for everything built-in > - use pointer tag for what is not But a pointer tag can do everything that an integer tag does. -- Andrei