IEEE standard for radix-independent floating-point arithmetic - IEEE standard 854-1987