Title: IEEE 754-2008: IEEE Standard for Floating-Point Arithmetic