Computer Architecture, Appendix J: IEEE Standard 754-1985 Floating Point