tagged_int : add hash support