ping: [PATCH][PR 18702] Fix wrong output of x87 registers due to truncation to double on amd64

[Ruslan Kabatsayev]

Hello,

I week ago I sent a patch for PR 18702:

[PATCH][PR 18702] Fix wrong output of x87 registers due to truncation
to double on amd64
https://sourceware.org/ml/gdb-patches/2015-11/msg00443.html

It seems to have not received any reply/review.
It's my first patch sent to gdb, so please let me know if I've done
something wrong.

Regards,
Ruslan