Conditions in the Intel 8087 floating-point chip's microcode