Kahan on the 8087 and designing Intel's floating point (2016) [video]