some notes on using a tagged integer type