Instruction decoding in the Intel 8087 floating-point chip