Microcode inside the Intel 8087 floating-point chip: register exchange