fixed the TODO in encoding.int_to_name. Fixed edge case for glyph_width