ken allows you to get the shortest round-trip representation of a binary encoding an IEEE 754 floating point number.
ken