Convert 64-bit ASCII Hex to Double

fp = float.x2d(txt)

Convert 64-bit IEEE-754 ASCII-hex value to double precision floating point.