Translation of integer id into unicode for consistency with other dictionary elements