Computer Architecture, Appendix J: IEEE Floating Point Formats and Special values