The adder at the heart of Intel's 8087 floating-point chip