Possible to recover uninterned value from Id?

I would like to only store integer `Id`s for interned identifiers, and then possibly recover the string from the `Id` for pretty-printing.

My use case for using the raw integer `Id` instead of `Interned{String,Text}` is to use negative ids for global variables/constants, and non-negative de Bruijn indices/levels for local variables. Since interned ids are always non-negative, I can use `- internedId - 1` as an identifier for globals.

Is it be possible to retrieve an uninterned value from just the `Id` using this library? I haven't been able to figure out how.

Thanks!