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

[Eli Zaretskii]

> Date: Fri, 23 Feb 2007 17:14:53 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> ...
> >   . Please submit an appropriate change for the manual.
> 
> Attached.

Thanks, the patch for the manual is fine with me.

> > > 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.
> 
> I believe this change is to make the most common default action more valid.
> Also some hardly noticeable changes are what separate GDB stable release are
> for, aren't they?

Changes that _add_ features are okay, but this one changes an existing
one.