Microcode in Intel's 8087 floating-point chip: the scale instruction