[RFC] print/x of a float/double should printf ("%a")

[Eli Zaretskii]

> Date: Sun, 18 Feb 2007 16:37:06 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> 
> currently "print/x (float) a" does an integer "print/x (long) a".
> 
> Ulrich Drepper requested to use instead printf ("%a") (man excerpt below):

Thanks.

Two comments:

  . Please submit an appropriate change for the manual.

  . I don't like this bit:

> Systems not supporting "%a" will print the value as
> 	print (float) a
> which differs from the current way there:
> 	print/x (long) a

This makes this an incompatible change.  For this reason, I'd prefer a
new format letter, like Andreas suggested.