Avoid unnecessary int-object creation when formatting numbers as strings in format_from_typeinfo() utility function.