854-1987 IEEE Standard for Radix-Independent Floating-Point Arithmetic