IEEE standard for binary floating-point arithmetic - IEEE standard 754-1985