IEEE - P754-2008 - Standard for Floating-Point Arithmetic