Wire representation of floating point numbers
I have a wire representation for integers (just big endian) and it's easy to work out tests for that. The easiest way to encode floats is then to split into mantissa and exponent. I'd figured that out and was looking for a code example. I'd given up, and was searching for 'convert float to ieee 754 c code', when I finally found this answer, based on my original approach: http://stackoverflow.com/a/14955046