Kahan's lecture notes on the status of the IEEE Standard 754 for binary floati [pdf]