What I really need to do is to export a floating point number to C with no precision loss.
I did this in python:
import math
import struct
x = math.s
If you're targeting a little-endian architecture,
>>> s = struct.pack('>> ''.join('%.2x' % ord(c) for c in s)
'cd3b7f669ea0f63f'
if big-endian, use '>d' instead of