tagged_int : remove forward declaration