[PATCH] Change how "print/x" displays floating-point value

[Eli Zaretskii]

> From: Tom Tromey <tromey@adacore.com>
> Cc: Tom Tromey <tromey@adacore.com>,  aburgess@redhat.com,
>   gdb-patches@sourceware.org
> Date: Thu, 10 Mar 2022 10:27:21 -0700
> 
> The meaning of it is to take the bytes that constitute the
> floating-point value, then print those as if they constituted an integer
> value with the same number of bytes.  That is, it shows the raw bytes of
> the floating-point value.
> 
> Would it be more clear to say
> 
>     Print the underlying bytes of the value as if they were an integer?

Yes.  I think I would even lose the "as if they were an integer" part.

Or maybe something like this:

  Print the binary representation of the value in decimal.