* i387-tdep.c (print_i387_value): Use extract_typed_floating to