* ieee.c (ieee_write_undefined_tag): Switch to global_types even