I found some old rambly IEEE 754 notes I wrote.