Add float_to_hex.py to work out in memory representation of a float