[PATCH] gdb: Move value_from_host_double into value.c and make more use of it

[Tom Tromey]

>>>>> "Andrew" == Andrew Burgess <andrew.burgess@embecosm.com> writes:

Andrew> Something like this?

Yes, thank you.

Tom