IEEE 754: An Interview with William Kahan | IEEE Journals & Magazine | IEEE Xplore