Specification for binary floating point arithmetic for microprocessor systems. (31st July 1990)