Note for the skeptic: this cites Knuth, Volume II, writes out the IEEE edge cases, and optimizes.