Computer Systems: A Programmer's Perspective, 3rd Edition by Randal E. Bryant and David R. O’Hallaron (2015) Data Floating-point References: IEEE 754 - Wikipedia