Fix Sparc64 double float gdb protocol (initial version by Paul Brook)