← IEEE Standard 754 for Binary Floating-Point Arithmetic