Title: IEEE Standard for Binary Floating Point Arithmetic